diff options
author | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
commit | 14885fb5b1af5b3e4ae15b23201ac3e5b6e11667 (patch) | |
tree | 25a3c20cb64847307d46ca1edca96b743a424d67 /doc/man | |
parent | d9415604a052facf2be3f684de176a94dd37f660 (diff) | |
download | gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.tar.gz gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.zip |
#5616 - finish. fix texi2mdoc generation
Diffstat (limited to 'doc/man')
-rw-r--r-- | doc/man/.gitignore | 2 | ||||
-rw-r--r-- | doc/man/Makefile.am | 23 | ||||
-rwxr-xr-x | doc/man/texi2mdoc-generation.sh | 15 |
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 @@ | |||
1 | gnunet.conf.5 | 1 | gnunet.conf.5 |
2 | groff_lint.log | 2 | groff_lint.log |
3 | *.html | 3 | *.html |
4 | gnunet-c-tutorial.7 | ||
5 | gnunet-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' | |||
5 | gnunet.conf.5: gnunet.conf.5.in Makefile | 5 | gnunet.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 | ||
8 | if TEXI2MDOC_GENERATION | ||
9 | gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 | ||
10 | @echo generated texi2mdoc output | ||
11 | |||
12 | gnunet-tutorial.7: Makefile | ||
13 | $(SH) $(srcdir)/texi2mdoc-generation.sh | ||
14 | |||
15 | endif | ||
16 | |||
8 | CLEANFILES = gnunet.conf.5 *.html | 17 | CLEANFILES = gnunet.conf.5 *.html |
9 | 18 | ||
19 | if TEXI2MDOC_GENERATION | ||
20 | CLEANFILES += gnunet-documentation.7 gnunet-c-tutorial.7 | ||
21 | endif | ||
22 | |||
10 | html: | 23 | html: |
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 | ||
74 | if TEXI2MDOC_GENERATION | ||
75 | man_MANS += gnunet-c-tutorial.7 gnunet-documentation.7 | ||
76 | endif | ||
77 | |||
61 | EXTRA_DIST = ${man_MANS} \ | 78 | EXTRA_DIST = ${man_MANS} \ |
62 | gnunet.conf.5.in | 79 | gnunet.conf.5.in \ |
80 | texi2mdoc-generation.sh | ||
63 | 81 | ||
64 | if TEXI2MDOC_GENERATION | 82 | if TEXI2MDOC_GENERATION |
65 | EXTRA_DIST += gnunet-documentation.7 \ | 83 | EXTRA_DIST += gnunet-documentation.7 gnunet-c-tutorial.7 |
66 | gnunet-c-tutorial.7 | ||
67 | endif | 84 | endif |
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) | ||
11 | cd ../tutorial | ||
12 | texi2mdoc -I$(pwd):$(pwd)/chapters gnunet-tutorial.texi > ../man/gnunet-c-tutorial.7 | ||
13 | # echo $(pwd) | ||
14 | cd ../handbook | ||
15 | texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7 | ||