[GNUnet-SVN] [gnunet] branch master updated: make html in doc/man using mandoc (sans Toc feature)

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new d780cbf97 make html in doc/man using mandoc (sans Toc feature)
d780cbf97 is described below

commit d780cbf97454be7ecfb00cb109274a0f11451159
Author: ng0 <address@hidden>
AuthorDate: Sun Mar 10 17:20:29 2019 +0000

    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(-)

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,address@hidden@],$(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

-- 
To stop receiving notification emails like this one, please contact
address@hidden