diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-09-25 14:01:01 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-09-25 14:01:01 +0200 |
commit | c6ca8b27b0622a03a1c3d6218001df8aa696d514 (patch) | |
tree | 6e34798b67e0f753303731cb3986c91de2220de4 /doc/Makefile.am | |
parent | f669196680e705b1a677f2b2a6fb9af305a37e93 (diff) | |
download | gnunet-c6ca8b27b0622a03a1c3d6218001df8aa696d514.tar.gz gnunet-c6ca8b27b0622a03a1c3d6218001df8aa696d514.zip |
-do not make installation of man pages conditional on sphinx being available at compile-time
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e56d53322..b55fc79b3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -4,16 +4,15 @@ if DOCUMENTATION | |||
4 | SUBDIRS = . doxygen | 4 | SUBDIRS = . doxygen |
5 | all-local: | 5 | all-local: |
6 | cd sphinx && make html | 6 | cd sphinx && make html |
7 | |||
8 | install-data-hook: | 7 | install-data-hook: |
9 | mkdir -p $(DESTDIR)$(docdir) | 8 | mkdir -p $(DESTDIR)$(docdir) |
10 | cp -pr sphinx/_build/html $(DESTDIR)$(docdir) | 9 | cp -pr sphinx/_build/html $(DESTDIR)$(docdir) |
10 | endif | ||
11 | 11 | ||
12 | if INCLUDE_MANPAGES | 12 | if INCLUDE_MANPAGES |
13 | man_MANS = sphinx/_build/man/gnunet.1 | 13 | man_MANS = sphinx/_build/man/gnunet.1 |
14 | SUBDIRS += man | 14 | SUBDIRS += man |
15 | endif | 15 | endif |
16 | endif | ||
17 | 16 | ||
18 | info_TEXINFOS = \ | 17 | info_TEXINFOS = \ |
19 | sphinx/_build/texinfo/gnunet.texi | 18 | sphinx/_build/texinfo/gnunet.texi |