make html in doc/man using mandoc (sans Toc feature)

diff --git a/doc/man/.gitignore b/doc/man/.gitignore
index 458457f42cb50393db3c59fb30972d62aa9d4a84..f86ff75d18a37a46dad5074b43d85cdcece6564e 100644 (file)
--- a/doc/man/.gitignore
+++ b/doc/man/.gitignore
@@ -1,2 +1,3 @@
 gnunet.conf.5
 groff_lint.log
+*.html

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index a49c4e7b823d137fa0ae6f00af12528afee1bc4b..a88d5af0aa70259e275c19ce822c9e37ffe288ca 100644 (file)
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -5,7 +5,10 @@ do_subst = $(SED) -e 's,[@]SYSCONFDIR[@],$(sysconfdir),g'
 gnunet.conf.5: gnunet.conf.5.in Makefile
        $(do_subst) < $(srcdir)/gnunet.conf.5.in > gnunet.conf.5
 
-CLEANFILES = gnunet.conf.5
+CLEANFILES = gnunet.conf.5 *.html
+
+html:
+       $(SH) $(srcdir)/produce_html.sh
 
 man_MANS = \
   gnunet.conf.5 \

diff --git a/doc/man/produce_html.sh b/doc/man/produce_html.sh
new file mode 100755 (executable)
index 0000000..ce6dea3
--- /dev/null
+++ b/doc/man/produce_html.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+existence()
+{
+    command -v "$1" >/dev/null 2>&1
+}
+
+if existence mandoc;
+then
+    for f in `find . -name \*\.[1-9]`;
+    do
+        mandoc -T html $f > $f.html;
+    done
+fi