aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-10-21 11:20:06 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-10-21 11:20:06 +0900
commitae0df071dc7ee619d9cef44560983ab3be7e1199 (patch)
tree46eafb4fb9e1700c2a7b5122b30acaeab926aa0e
parentfb0ee05fb2793f2cd5fd71f0ea72390094a2a828 (diff)
downloadgnunet-ae0df071dc7ee619d9cef44560983ab3be7e1199.tar.gz
gnunet-ae0df071dc7ee619d9cef44560983ab3be7e1199.zip
- do not convert handbook to man pages
-rwxr-xr-xbootstrap2
-rw-r--r--doc/man/Makefile.am21
2 files changed, 0 insertions, 23 deletions
diff --git a/bootstrap b/bootstrap
index 5601c730d..1a703b332 100755
--- a/bootstrap
+++ b/bootstrap
@@ -113,8 +113,6 @@ sphinx_update()
113 cp -r _build/html ../../doc/handbook/ || exit 1 113 cp -r _build/html ../../doc/handbook/ || exit 1
114 make texinfo >/dev/null || exit 1 114 make texinfo >/dev/null || exit 1
115 cp -r _build/texinfo ../../doc/handbook/ || exit 1 115 cp -r _build/texinfo ../../doc/handbook/ || exit 1
116 make man >/dev/null || exit 1
117 cp -r _build/man/* ../../doc/man || exit 1
118 cd $cwd 116 cd $cwd
119 else 117 else
120 echo "ERROR: Sphinx not found! Unable to generate recent documentation." 118 echo "ERROR: Sphinx not found! Unable to generate recent documentation."
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 2dec9af71..cad20306d 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -36,27 +36,6 @@ endif
36endif 36endif
37 37
38man_MANS = \ 38man_MANS = \
39 gnunet.1 \
40 gnunet.2 \
41 gnunet.3 \
42 gnunet.4 \
43 gnunet.5 \
44 gnunet.6 \
45 gnunet.7 \
46 gnunet.8 \
47 gnunet.9 \
48 gana.1 \
49 gana.2 \
50 gana.3 \
51 gana.4 \
52 gana.5 \
53 gnunet-dev.1 \
54 gnunet-dev.2 \
55 gnunet-dev.3 \
56 gnunet-dev.4 \
57 gnunet-dev.5 \
58 gnunet-dev.6 \
59 lsd.1 \
60 gnunet.conf.5 \ 39 gnunet.conf.5 \
61 gnunet-arm.1 \ 40 gnunet-arm.1 \
62 gnunet-ats.1 \ 41 gnunet-ats.1 \