diff options
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e8cf85c76..dbaa51d39 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -18,10 +18,8 @@ man_MANS = sphinx/_build/man/gnunet.1 | |||
18 | SUBDIRS += man | 18 | SUBDIRS += man |
19 | endif | 19 | endif |
20 | 20 | ||
21 | if !OPENBSD | ||
22 | info_TEXINFOS = \ | 21 | info_TEXINFOS = \ |
23 | sphinx/_build/texinfo/gnunet.texi | 22 | sphinx/_build/texinfo/gnunet.texi |
24 | endif | ||
25 | 23 | ||
26 | EXTRA_DIST = \ | 24 | EXTRA_DIST = \ |
27 | $(man_MANS) \ | 25 | $(man_MANS) \ |