summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-10 17:20:29 +0000
committerng0 <ng0@n0.is>2019-03-10 17:20:29 +0000
commitd780cbf97454be7ecfb00cb109274a0f11451159 (patch)
treefd5b0edd5408abcbd04d00ef482500b3dc85aa00 /doc
parent9310c410472230bd5c6da6f2676c7e21e3f92915 (diff)
make html in doc/man using mandoc (sans Toc feature)
Diffstat (limited to 'doc')
-rw-r--r--doc/man/.gitignore1
-rw-r--r--doc/man/Makefile.am5
-rwxr-xr-xdoc/man/produce_html.sh14
3 files changed, 19 insertions, 1 deletions
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