From 18d272da7b9a03914abba35ef3992a7e34467ac2 Mon Sep 17 00:00:00 2001 From: ng0 Date: Mon, 25 Nov 2019 21:51:56 +0000 Subject: man/produce_html: use shlib --- doc/man/produce_html.sh.in | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 doc/man/produce_html.sh.in (limited to 'doc/man/produce_html.sh.in') diff --git a/doc/man/produce_html.sh.in b/doc/man/produce_html.sh.in new file mode 100755 index 000000000..3f4520776 --- /dev/null +++ b/doc/man/produce_html.sh.in @@ -0,0 +1,11 @@ +#!/bin/sh + +. @pkgdatadir@/existence.sh + +if existence mandoc; +then + for f in `find . -name \*\.[1-9]`; + do + mandoc -T html $f > $f.html; + done +fi -- cgit v1.2.3