diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:46:21 +0200 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-06 13:46:21 +0200 |
commit | eee1e00fb2dbdfd72410467b1d7337cb15334bb1 (patch) | |
tree | c9e0690017e4bc9839b7be0662033e09b92074ab | |
parent | f55345e923ebd6fb7301b3d4304a20b5f7386986 (diff) | |
download | gnunet-eee1e00fb2dbdfd72410467b1d7337cb15334bb1.tar.gz gnunet-eee1e00fb2dbdfd72410467b1d7337cb15334bb1.zip |
-try again fix for bsd
-rw-r--r-- | doc/Makefile.am | 7 | ||||
m--------- | doc/sphinx | 0 |
2 files changed, 3 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 9e4cd252c..f33f70d8b 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -10,13 +10,12 @@ 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 | if INCLUDE_MANPAGES | ||
14 | # FIXME this is somehow broken on openbsd. See #7324 | ||
15 | if !OPENBSD | ||
16 | sphinx/_build/man/gnunet.1: Makefile | 13 | sphinx/_build/man/gnunet.1: Makefile |
17 | cd sphinx && make man | 14 | cd sphinx && make man |
15 | |||
16 | if INCLUDE_MANPAGES | ||
17 | # FIXME this is somehow broken on openbsd. See #7324 | ||
18 | man_MANS = sphinx/_build/man/gnunet.1 | 18 | man_MANS = sphinx/_build/man/gnunet.1 |
19 | endif | ||
20 | SUBDIRS += man | 19 | SUBDIRS += man |
21 | endif | 20 | endif |
22 | endif | 21 | endif |
diff --git a/doc/sphinx b/doc/sphinx | |||
Subproject 09806760b3cd59186a24c3134dc1e8467d4acc0 | Subproject 440d7b1899e561ad111070fc680212f8a4ce32f | ||