diff options
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 84e7e5fbd..d0c4d8b3e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -10,7 +10,7 @@ install-data-hook: | |||
10 | mkdir -p $(DESTDIR)$(docdir) | 10 | mkdir -p $(DESTDIR)$(docdir) |
11 | cp -pr sphinx/_build/html $(DESTDIR)$(docdir) | 11 | cp -pr sphinx/_build/html $(DESTDIR)$(docdir) |
12 | 12 | ||
13 | _build/man/gnunet.1: Makefile | 13 | sphinx/_build/man/gnunet.1: Makefile |
14 | cd sphinx && make man | 14 | cd sphinx && make man |
15 | 15 | ||
16 | if INCLUDE_MANPAGES | 16 | if INCLUDE_MANPAGES |