diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 11:48:10 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 11:48:10 +0900 |
commit | 4611664be0ba79ec7029a74cf961f28f2a658241 (patch) | |
tree | d77a28b6d85f8e3afed830e58deceb5f3b8f7f09 | |
parent | 2b2c1fcd7fe8848828e6d540ed3837b80a63dd82 (diff) | |
download | gnunet-4611664be0ba79ec7029a74cf961f28f2a658241.tar.gz gnunet-4611664be0ba79ec7029a74cf961f28f2a658241.zip |
DOC: Back to info_TEXINFOS
-rwxr-xr-x | bootstrap | 2 | ||||
-rw-r--r-- | doc/Makefile.am | 20 |
2 files changed, 12 insertions, 10 deletions
@@ -111,7 +111,7 @@ sphinx_update() | |||
111 | # GNS | 111 | # GNS |
112 | make html >/dev/null || exit 1 | 112 | make html >/dev/null || exit 1 |
113 | cp -r _build/html ../../doc/handbook/ || exit 1 | 113 | cp -r _build/html ../../doc/handbook/ || exit 1 |
114 | make info >/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 | 116 | make man >/dev/null || exit 1 |
117 | cp -r _build/man/* ../../doc/man || exit 1 | 117 | cp -r _build/man/* ../../doc/man || exit 1 |
diff --git a/doc/Makefile.am b/doc/Makefile.am index 151f83267..a8b044ccc 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -6,6 +6,12 @@ if HAVE_DOXY_BINARY | |||
6 | SUBDIRS += doxygen | 6 | SUBDIRS += doxygen |
7 | endif | 7 | endif |
8 | 8 | ||
9 | # OpenBSD is a bit iffy wrt sphinx make info | ||
10 | if OPENBSD | ||
11 | all-local: | ||
12 | cd handbook/texinfo && make || touch gnunet.info | ||
13 | endif | ||
14 | |||
9 | install-data-hook: | 15 | install-data-hook: |
10 | mkdir -p $(DESTDIR)$(docdir) | 16 | mkdir -p $(DESTDIR)$(docdir) |
11 | cp -pr handbook/html $(DESTDIR)$(docdir) | 17 | cp -pr handbook/html $(DESTDIR)$(docdir) |
@@ -16,17 +22,13 @@ if INCLUDE_MANPAGES | |||
16 | SUBDIRS += man | 22 | SUBDIRS += man |
17 | endif | 23 | endif |
18 | 24 | ||
19 | # NOTE: We cannot make this conditional because automake | 25 | AM_MAKEINFOFLAGS = --no-headers --no-split |
20 | # This means that if documentation is built, you MUST also build texinfos | 26 | |
21 | # and need makeinfo. | 27 | info_TEXINFOS = \ |
22 | # And yes, sphinx already compiled texi->info at this point and this will | 28 | handbook/texinfo/gnunet.texi |
23 | # re-create it. | ||
24 | # So, we now manually copy it above in the install-data-hook | ||
25 | #info_TEXINFOS = \ | ||
26 | # sphinx/_build/texinfo/gnunet.texi | ||
27 | 29 | ||
28 | EXTRA_DIST = \ | 30 | EXTRA_DIST = \ |
29 | handbook/texinfo/gnunet.info \ | 31 | handbook/texinfo \ |
30 | system_specific/outdated-and-old-installation-instructions.txt \ | 32 | system_specific/outdated-and-old-installation-instructions.txt \ |
31 | system_specific/FROM_SOURCE \ | 33 | system_specific/FROM_SOURCE \ |
32 | handbook/html | 34 | handbook/html |