diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-29 20:40:32 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-29 20:40:32 +0900 |
commit | 597404615c3d7793b88ababe3410cffadc3f7715 (patch) | |
tree | f88839eb05af57e514ad20624aa4d223a65b0c48 | |
parent | cb7f469e746c5ef7b9008a036567eff525430e25 (diff) | |
download | gnunet-597404615c3d7793b88ababe3410cffadc3f7715.tar.gz gnunet-597404615c3d7793b88ababe3410cffadc3f7715.zip |
-lets see if this works for openbsd
-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 \ |