aboutsummaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-04-01 19:55:52 +0000
committerng0 <ng0@n0.is>2019-04-01 19:55:52 +0000
commit14885fb5b1af5b3e4ae15b23201ac3e5b6e11667 (patch)
tree25a3c20cb64847307d46ca1edca96b743a424d67 /doc/man
parentd9415604a052facf2be3f684de176a94dd37f660 (diff)
downloadgnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.tar.gz
gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.zip
#5616 - finish. fix texi2mdoc generation
Diffstat (limited to 'doc/man')
-rw-r--r--doc/man/.gitignore2
-rw-r--r--doc/man/Makefile.am23
-rwxr-xr-xdoc/man/texi2mdoc-generation.sh15
3 files changed, 37 insertions, 3 deletions
diff --git a/doc/man/.gitignore b/doc/man/.gitignore
index f86ff75d1..38ed67872 100644
--- a/doc/man/.gitignore
+++ b/doc/man/.gitignore
@@ -1,3 +1,5 @@
1gnunet.conf.5 1gnunet.conf.5
2groff_lint.log 2groff_lint.log
3*.html 3*.html
4gnunet-c-tutorial.7
5gnunet-documentation.7
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index a88d5af0a..e739be78b 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -5,8 +5,21 @@ 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
8if TEXI2MDOC_GENERATION
9gnunet-c-tutorial.7: Makefile gnunet-tutorial.7
10 @echo generated texi2mdoc output
11
12gnunet-tutorial.7: Makefile
13 $(SH) $(srcdir)/texi2mdoc-generation.sh
14
15endif
16
8CLEANFILES = gnunet.conf.5 *.html 17CLEANFILES = gnunet.conf.5 *.html
9 18
19if TEXI2MDOC_GENERATION
20CLEANFILES += gnunet-documentation.7 gnunet-c-tutorial.7
21endif
22
10html: 23html:
11 $(SH) $(srcdir)/produce_html.sh 24 $(SH) $(srcdir)/produce_html.sh
12 25
@@ -58,10 +71,14 @@ man_MANS = \
58 gnunet-vpn.1 \ 71 gnunet-vpn.1 \
59 gnunet-zoneimport.1 72 gnunet-zoneimport.1
60 73
74if TEXI2MDOC_GENERATION
75man_MANS += gnunet-c-tutorial.7 gnunet-documentation.7
76endif
77
61EXTRA_DIST = ${man_MANS} \ 78EXTRA_DIST = ${man_MANS} \
62 gnunet.conf.5.in 79 gnunet.conf.5.in \
80 texi2mdoc-generation.sh
63 81
64if TEXI2MDOC_GENERATION 82if TEXI2MDOC_GENERATION
65EXTRA_DIST += gnunet-documentation.7 \ 83EXTRA_DIST += gnunet-documentation.7 gnunet-c-tutorial.7
66 gnunet-c-tutorial.7
67endif 84endif
diff --git a/doc/man/texi2mdoc-generation.sh b/doc/man/texi2mdoc-generation.sh
new file mode 100755
index 000000000..b88987cda
--- /dev/null
+++ b/doc/man/texi2mdoc-generation.sh
@@ -0,0 +1,15 @@
1#!/bin/sh
2# This script is in the public-domain.
3# GNUnet e.V. 2019
4#
5# Commentary: generate texi2mdoc output. This would be easier with
6# bmake / BSDmake, oh well.
7#
8# Excercise for future readers: don't fix this.
9
10# echo $(pwd)
11cd ../tutorial
12texi2mdoc -I$(pwd):$(pwd)/chapters gnunet-tutorial.texi > ../man/gnunet-c-tutorial.7
13# echo $(pwd)
14cd ../handbook
15texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7