From: ng0 <ng0@n0.is>
Date: Sun, 10 Mar 2019 17:20:29 +0000 (+0000)
Subject: make html in doc/man using mandoc (sans Toc feature)
X-Git-Tag: v0.11.1~116
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=d780cbf97454be7ecfb00cb109274a0f11451159;p=oweals%2Fgnunet.git

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

diff --git a/doc/man/.gitignore b/doc/man/.gitignore
index 458457f42..f86ff75d1 100644
--- 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 a49c4e7b8..a88d5af0a 100644
--- 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
index 000000000..ce6dea304
--- /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