diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:05:22 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:05:22 +0200 |
| commit | d3d75e4ed7cb1e973065b535a6901d8e525bed5d (patch) | |
| tree | 22b00de2dbe4b9e388ee4c6cd50dc1c452beec51 /doc | |
| parent | 6c98fab02a2f0e8130ef377a3249a3d79ce48162 (diff) | |
| download | gnunet-d3d75e4ed7cb1e973065b535a6901d8e525bed5d.tar.gz gnunet-d3d75e4ed7cb1e973065b535a6901d8e525bed5d.zip | |
-fix openbsd build
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 38bf23733..c2c4f1e5a 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
| @@ -14,8 +14,11 @@ 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 |
| 17 | # FIXME this is somehow broken on openbsd. See #7324 | ||
| 18 | if !OPENBSD | ||
| 17 | man_MANS = sphinx/_build/man/gnunet.1 | 19 | man_MANS = sphinx/_build/man/gnunet.1 |
| 18 | SUBDIRS += man | 20 | endif |
| 21 | SUBDIRS += man | ||
| 19 | endif | 22 | endif |
| 20 | endif | 23 | endif |
| 21 | 24 | ||