diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-08-08 11:48:23 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-08-08 11:48:23 +0200 |
| commit | 4fd0ca3f103310e74066fce93e569b386dd14662 (patch) | |
| tree | 25c356b5254f747c9575e46908c977aee7438907 /doc | |
| parent | 5bd9870c830b8f7c1d3dd7b3f531c5fd3acd3f0c (diff) | |
| download | gnunet-4fd0ca3f103310e74066fce93e569b386dd14662.tar.gz gnunet-4fd0ca3f103310e74066fce93e569b386dd14662.zip | |
-fix
Diffstat (limited to 'doc')
| -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 |