diff options
| author | ng0 <ng0@n0.is> | 2019-03-10 17:20:29 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-03-10 17:20:29 +0000 |
| commit | d780cbf97454be7ecfb00cb109274a0f11451159 (patch) | |
| tree | fd5b0edd5408abcbd04d00ef482500b3dc85aa00 /doc/man/Makefile.am | |
| parent | 9310c410472230bd5c6da6f2676c7e21e3f92915 (diff) | |
| download | gnunet-d780cbf97454be7ecfb00cb109274a0f11451159.tar.gz gnunet-d780cbf97454be7ecfb00cb109274a0f11451159.zip | |
make html in doc/man using mandoc (sans Toc feature)
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 \ |