From d780cbf97454be7ecfb00cb109274a0f11451159 Mon Sep 17 00:00:00 2001
From: ng0 <ng0@n0.is>
Date: Sun, 10 Mar 2019 17:20:29 +0000
Subject: make html in doc/man using mandoc (sans Toc feature)

---
 doc/man/.gitignore      |  1 +
 doc/man/Makefile.am     |  5 ++++-
 doc/man/produce_html.sh | 14 ++++++++++++++
 3 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100755 doc/man/produce_html.sh

(limited to 'doc/man')

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
-- 
cgit v1.2.3