diff options
-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 |