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 |