diff options
author | ng0 <ng0@n0.is> | 2019-04-01 20:15:06 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 20:15:06 +0000 |
commit | 9fbf2e434b67c3180908e4f2663e0cec5125e9cd (patch) | |
tree | b0846603e99874fdd6f113a2120b0c86959e06b6 /doc/man | |
parent | ddad866ea0cbf54b1ac38976ad0248630c68e5cc (diff) | |
download | gnunet-9fbf2e434b67c3180908e4f2663e0cec5125e9cd.tar.gz gnunet-9fbf2e434b67c3180908e4f2663e0cec5125e9cd.zip |
just in case
Diffstat (limited to 'doc/man')
-rw-r--r-- | doc/man/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index e739be78b..923eaaf6b 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am | |||
@@ -7,10 +7,10 @@ gnunet.conf.5: gnunet.conf.5.in Makefile | |||
7 | 7 | ||
8 | if TEXI2MDOC_GENERATION | 8 | if TEXI2MDOC_GENERATION |
9 | gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 | 9 | gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 |
10 | @echo generated texi2mdoc output | 10 | @echo generated texi2mdoc output || true |
11 | 11 | ||
12 | gnunet-tutorial.7: Makefile | 12 | gnunet-tutorial.7: Makefile |
13 | $(SH) $(srcdir)/texi2mdoc-generation.sh | 13 | $(SH) $(srcdir)/texi2mdoc-generation.sh || true |
14 | 14 | ||
15 | endif | 15 | endif |
16 | 16 | ||