diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:24:50 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:24:50 +0200 |
| commit | f55345e923ebd6fb7301b3d4304a20b5f7386986 (patch) | |
| tree | 02373ac09819d605cc49801f0f761a92fc0bb113 /doc | |
| parent | d3d75e4ed7cb1e973065b535a6901d8e525bed5d (diff) | |
| download | gnunet-f55345e923ebd6fb7301b3d4304a20b5f7386986.tar.gz gnunet-f55345e923ebd6fb7301b3d4304a20b5f7386986.zip | |
-fix
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index c2c4f1e5a..9e4cd252c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
| @@ -10,12 +10,11 @@ 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 | sphinx/_build/man/gnunet.1: Makefile | ||
| 14 | cd sphinx && make man | ||
| 15 | |||
| 16 | if INCLUDE_MANPAGES | 13 | if INCLUDE_MANPAGES |
| 17 | # FIXME this is somehow broken on openbsd. See #7324 | 14 | # FIXME this is somehow broken on openbsd. See #7324 |
| 18 | if !OPENBSD | 15 | if !OPENBSD |
| 16 | sphinx/_build/man/gnunet.1: Makefile | ||
| 17 | cd sphinx && make man | ||
| 19 | man_MANS = sphinx/_build/man/gnunet.1 | 18 | man_MANS = sphinx/_build/man/gnunet.1 |
| 20 | endif | 19 | endif |
| 21 | SUBDIRS += man | 20 | SUBDIRS += man |