1 files changed, 11 insertions, 0 deletions

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