diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-27 11:26:06 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-27 11:26:06 +0900 |
commit | a3c9728827920f6cfe230f816a29a80aa72d3c91 (patch) | |
tree | 42d667dc0ec256cdb78e493acb92fdda102661c8 /doc | |
parent | 9b6a917878a08cbbdbf07e49189f97ddb904c40f (diff) | |
download | gnunet-a3c9728827920f6cfe230f816a29a80aa72d3c91.tar.gz gnunet-a3c9728827920f6cfe230f816a29a80aa72d3c91.zip |
BUILD: Improve documentation build
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 32 |
1 files changed, 26 insertions, 6 deletions
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 |
7 | endif | 7 | endif |
8 | 8 | ||
9 | sphinx: Makefile | 9 | sphinx/_build/texinfo/gnunet.info: |
10 | cd sphinx && make html man info | 10 | cd sphinx && make info |
11 | 11 | ||
12 | install-data-hook: | 12 | sphinx/_build/html: |
13 | cd sphinx && make html | ||
14 | |||
15 | sphinx: sphinx/_build/texinfo/gnunet.info sphinx/_build/html | ||
16 | cd sphinx && make html info | ||
17 | |||
18 | install-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 | |||
24 | clean-local: | ||
25 | cd sphinx && make clean | ||
26 | |||
27 | sphinx/_build/man/gnunet.1: | ||
28 | cd sphinx && make man | ||
15 | 29 | ||
16 | if INCLUDE_MANPAGES | 30 | if INCLUDE_MANPAGES |
17 | man_MANS = sphinx/_build/man/gnunet.1 | 31 | man_MANS = sphinx/_build/man/gnunet.1 |
18 | SUBDIRS += man | 32 | SUBDIRS += man |
19 | endif | 33 | endif |
20 | 34 | ||
21 | info_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 | ||
24 | EXTRA_DIST = \ | 44 | EXTRA_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 \ |