aboutsummaryrefslogtreecommitdiff
path: root/doc/man
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/man
parent9310c410472230bd5c6da6f2676c7e21e3f92915 (diff)
downloadgnunet-d780cbf97454be7ecfb00cb109274a0f11451159.tar.gz
gnunet-d780cbf97454be7ecfb00cb109274a0f11451159.zip
make html in doc/man using mandoc (sans Toc feature)
Diffstat (limited to 'doc/man')
-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 @@
1gnunet.conf.5 1gnunet.conf.5
2groff_lint.log 2groff_lint.log
3*.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'
5gnunet.conf.5: gnunet.conf.5.in Makefile 5gnunet.conf.5: gnunet.conf.5.in Makefile
6 $(do_subst) < $(srcdir)/gnunet.conf.5.in > gnunet.conf.5 6 $(do_subst) < $(srcdir)/gnunet.conf.5.in > gnunet.conf.5
7 7
8CLEANFILES = gnunet.conf.5 8CLEANFILES = gnunet.conf.5 *.html
9
10html:
11 $(SH) $(srcdir)/produce_html.sh
9 12
10man_MANS = \ 13man_MANS = \
11 gnunet.conf.5 \ 14 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 @@
1#!/bin/sh
2
3existence()
4{
5 command -v "$1" >/dev/null 2>&1
6}
7
8if existence mandoc;
9then
10 for f in `find . -name \*\.[1-9]`;
11 do
12 mandoc -T html $f > $f.html;
13 done
14fi