From 9bb632056911462379fe345b5638f54a2cd2276c Mon Sep 17 00:00:00 2001 From: Cameron Katri Date: Mon, 14 Jun 2021 13:58:33 -0400 Subject: man2html: Prefer mandoc over groff if it is installed --- filters/html-converters/man2html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/filters/html-converters/man2html b/filters/html-converters/man2html index 0ef7884..7a152dd 100755 --- a/filters/html-converters/man2html +++ b/filters/html-converters/man2html @@ -1,4 +1,8 @@ #!/bin/sh echo "

" -groff -mandoc -T html -P -r -P -l | egrep -v '(||||||||/dev/null; then + mandoc -Thtml +else + groff -mandoc -T html -P -r -P -l +fi | egrep -v '(||||||||" -- cgit v1.2.3-56-ge451