diff options
Diffstat (limited to 'doc/man/Makefile.am')
| -rw-r--r-- | doc/man/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index a49c4e7b8..a88d5af0a 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am | |||
| @@ -5,7 +5,10 @@ do_subst = $(SED) -e 's,[@]SYSCONFDIR[@],$(sysconfdir),g' | |||
| 5 | gnunet.conf.5: gnunet.conf.5.in Makefile | 5 | gnunet.conf.5: gnunet.conf.5.in Makefile |
| 6 | $(do_subst) < $(srcdir)/gnunet.conf.5.in > gnunet.conf.5 | 6 | $(do_subst) < $(srcdir)/gnunet.conf.5.in > gnunet.conf.5 |
| 7 | 7 | ||
| 8 | CLEANFILES = gnunet.conf.5 | 8 | CLEANFILES = gnunet.conf.5 *.html |
| 9 | |||
| 10 | html: | ||
| 11 | $(SH) $(srcdir)/produce_html.sh | ||
| 9 | 12 | ||
| 10 | man_MANS = \ | 13 | man_MANS = \ |
| 11 | gnunet.conf.5 \ | 14 | gnunet.conf.5 \ |