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/Makefile.am | |
parent | 6c98fab02a2f0e8130ef377a3249a3d79ce48162 (diff) | |
download | gnunet-d3d75e4ed7cb1e973065b535a6901d8e525bed5d.tar.gz gnunet-d3d75e4ed7cb1e973065b535a6901d8e525bed5d.zip |
-fix openbsd build
Diffstat (limited to 'doc/Makefile.am')
-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 | ||