diff options
-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 a8b044ccc..b45362d38 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -10,6 +10,9 @@ endif | |||
10 | if OPENBSD | 10 | if OPENBSD |
11 | all-local: | 11 | all-local: |
12 | cd handbook/texinfo && make || touch gnunet.info | 12 | cd handbook/texinfo && make || touch gnunet.info |
13 | GNUNET_TEXI = | ||
14 | else | ||
15 | GNUNET_TEXI = handbook/texinfo/gnunet.texi | ||
13 | endif | 16 | endif |
14 | 17 | ||
15 | install-data-hook: | 18 | install-data-hook: |
@@ -25,7 +28,7 @@ endif | |||
25 | AM_MAKEINFOFLAGS = --no-headers --no-split | 28 | AM_MAKEINFOFLAGS = --no-headers --no-split |
26 | 29 | ||
27 | info_TEXINFOS = \ | 30 | info_TEXINFOS = \ |
28 | handbook/texinfo/gnunet.texi | 31 | $(GNUNET_TEXI) |
29 | 32 | ||
30 | EXTRA_DIST = \ | 33 | EXTRA_DIST = \ |
31 | handbook/texinfo \ | 34 | handbook/texinfo \ |