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 | |
| 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')
| -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 |