aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-09-25 21:35:32 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-09-25 21:35:32 +0900
commit82a7bd8af34060d352348241e139dbcd775311f5 (patch)
tree08faa268f64ed3b186fb8ab691f97f8b8729eeac /doc
parent622cfef5af42da1c283bc9c0a0423e18e20d5c53 (diff)
downloadgnunet-82a7bd8af34060d352348241e139dbcd775311f5.tar.gz
gnunet-82a7bd8af34060d352348241e139dbcd775311f5.zip
DOC: Conditionally build doxygen; build sphinx on bootstrap
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am14
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4194447fc..cfcb55453 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,14 +2,16 @@
2 2
3SUBDIRS = . 3SUBDIRS = .
4 4
5if DOCUMENTATION 5if HAVE_DOXY_BINARY
6 SUBDIRS += doxygen 6 SUBDIRS += doxygen
7all-local: 7endif
8 cd sphinx && make html 8
9sphinx: Makefile
10 cd sphinx && make html man info
11
9install-data-hook: 12install-data-hook:
10 mkdir -p $(DESTDIR)$(docdir) 13 mkdir -p $(DESTDIR)$(docdir)
11 cp -pr sphinx/_build/html $(DESTDIR)$(docdir) 14 cp -pr sphinx/_build/html $(DESTDIR)$(docdir)
12endif
13 15
14if INCLUDE_MANPAGES 16if INCLUDE_MANPAGES
15man_MANS = sphinx/_build/man/gnunet.1 17man_MANS = sphinx/_build/man/gnunet.1
@@ -20,8 +22,8 @@ info_TEXINFOS = \
20 sphinx/_build/texinfo/gnunet.texi 22 sphinx/_build/texinfo/gnunet.texi
21 23
22EXTRA_DIST = \ 24EXTRA_DIST = \
23 $(man_MANS) \ 25 $(man_MANS) \
24 $(info_TEXINFOS) \ 26 $(info_TEXINFOS) \
25 system_specific/outdated-and-old-installation-instructions.txt \ 27 system_specific/outdated-and-old-installation-instructions.txt \
26 system_specific/FROM_SOURCE \ 28 system_specific/FROM_SOURCE \
27 sphinx/about.rst \ 29 sphinx/about.rst \