aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-09-27 11:26:06 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-09-27 11:26:06 +0900
commita3c9728827920f6cfe230f816a29a80aa72d3c91 (patch)
tree42d667dc0ec256cdb78e493acb92fdda102661c8
parent9b6a917878a08cbbdbf07e49189f97ddb904c40f (diff)
downloadgnunet-a3c9728827920f6cfe230f816a29a80aa72d3c91.tar.gz
gnunet-a3c9728827920f6cfe230f816a29a80aa72d3c91.zip
BUILD: Improve documentation build
-rwxr-xr-xbootstrap8
-rw-r--r--doc/Makefile.am32
2 files changed, 26 insertions, 14 deletions
diff --git a/bootstrap b/bootstrap
index 3fa6e67ad..96c0f7196 100755
--- a/bootstrap
+++ b/bootstrap
@@ -87,13 +87,6 @@ check_libtool()
87 fi 87 fi
88} 88}
89 89
90sphinx ()
91{
92 # Bootstrap Sphinx documentation
93 cd doc/sphinx; make man info html >/dev/null; cd -
94}
95
96
97submodules() 90submodules()
98{ 91{
99 # Try to update the submodule. Since bootstrap 92 # Try to update the submodule. Since bootstrap
@@ -149,7 +142,6 @@ main()
149 gana_update 142 gana_update
150 check_uncrustify 143 check_uncrustify
151 check_yapf 144 check_yapf
152 sphinx
153 check_libtool 145 check_libtool
154} 146}
155 147
diff --git a/doc/Makefile.am b/doc/Makefile.am
index dbaa51d39..eb0998954 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -6,24 +6,44 @@ if HAVE_DOXY_BINARY
6 SUBDIRS += doxygen 6 SUBDIRS += doxygen
7endif 7endif
8 8
9sphinx: Makefile 9sphinx/_build/texinfo/gnunet.info:
10 cd sphinx && make html man info 10 cd sphinx && make info
11 11
12install-data-hook: 12sphinx/_build/html:
13 cd sphinx && make html
14
15sphinx: sphinx/_build/texinfo/gnunet.info sphinx/_build/html
16 cd sphinx && make html info
17
18install-data-hook: sphinx
13 mkdir -p $(DESTDIR)$(docdir) 19 mkdir -p $(DESTDIR)$(docdir)
14 cp -pr sphinx/_build/html $(DESTDIR)$(docdir) 20 cp -pr sphinx/_build/html $(DESTDIR)$(docdir)
21 mkdir -p $(DESTDIR)$(infodir)
22 cp -pr sphinx/_build/texinfo/gnunet.info $(DESTDIR)$(infodir)
23
24clean-local:
25 cd sphinx && make clean
26
27sphinx/_build/man/gnunet.1:
28 cd sphinx && make man
15 29
16if INCLUDE_MANPAGES 30if INCLUDE_MANPAGES
17man_MANS = sphinx/_build/man/gnunet.1 31man_MANS = sphinx/_build/man/gnunet.1
18SUBDIRS += man 32SUBDIRS += man
19endif 33endif
20 34
21info_TEXINFOS = \ 35# NOTE: We cannot make this conditional because automake
22 sphinx/_build/texinfo/gnunet.texi 36# This means that if documentation is built, you MUST also build texinfos
37# and need makeinfo.
38# And yes, sphinx already compiled texi->info at this point and this will
39# re-create it.
40# So, we now manually copy it above in the install-data-hook
41#info_TEXINFOS = \
42# sphinx/_build/texinfo/gnunet.texi
23 43
24EXTRA_DIST = \ 44EXTRA_DIST = \
25 $(man_MANS) \ 45 $(man_MANS) \
26 $(info_TEXINFOS) \ 46 sphinx/_build/texinfo \
27 system_specific/outdated-and-old-installation-instructions.txt \ 47 system_specific/outdated-and-old-installation-instructions.txt \
28 system_specific/FROM_SOURCE \ 48 system_specific/FROM_SOURCE \
29 sphinx/_build/html \ 49 sphinx/_build/html \