diff options
author | ng0 <ng0@n0.is> | 2019-10-30 16:53:50 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-10-30 16:53:50 +0000 |
commit | 7f2ef3d249860ae72a43605170790401d72478f6 (patch) | |
tree | b5e47289ba9de1b76413fd0b1604d31ef51c4128 /doc | |
parent | 707e547fe18eb9a009f9e06315460a2869c400c8 (diff) | |
download | gnunet-7f2ef3d249860ae72a43605170790401d72478f6.tar.gz gnunet-7f2ef3d249860ae72a43605170790401d72478f6.zip |
configure: add mandoc + texi2mdoc detection
doc/man: add man-html and man-html-install
Diffstat (limited to 'doc')
-rw-r--r-- | doc/man/Makefile.am | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index a4c81dd43..b3ea1c44e 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am | |||
@@ -5,7 +5,7 @@ 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 *.html | 8 | CLEANFILES = gnunet.conf.5 |
9 | 9 | ||
10 | if TEXI2MDOC_GENERATION | 10 | if TEXI2MDOC_GENERATION |
11 | gnunet-c-tutorial.7: Makefile | 11 | gnunet-c-tutorial.7: Makefile |
@@ -17,10 +17,26 @@ gnunet-documentation.7: Makefile | |||
17 | CLEANFILES += gnunet-documentation.7 gnunet-c-tutorial.7 | 17 | CLEANFILES += gnunet-documentation.7 gnunet-c-tutorial.7 |
18 | endif | 18 | endif |
19 | 19 | ||
20 | 20 | if HAVE_MANDOC | |
21 | html: | 21 | # After I went through the alternatives with the focus |
22 | # on staying as portable as possible to other make | ||
23 | # implementations, I have to face the fact after hours | ||
24 | # that this is the most portable way to achieve what | ||
25 | # I want and that the alternatives are depressing and | ||
26 | # nonfunctional. | ||
27 | .PHONY: man-html | ||
28 | man-html: | ||
22 | $(SH) $(srcdir)/produce_html.sh | 29 | $(SH) $(srcdir)/produce_html.sh |
23 | 30 | ||
31 | htmldocdir = $(datadir)/doc/gnunet/manhtml/ | ||
32 | .PHONY: man-html-install | ||
33 | man-html-install: | ||
34 | @mkdir -p $(htmldocdir) | ||
35 | @mv $(srcdir)/*.html $(htmldocdir) | ||
36 | |||
37 | CLEANFILES += *.html | ||
38 | endif | ||
39 | |||
24 | man_MANS = \ | 40 | man_MANS = \ |
25 | gnunet.conf.5 \ | 41 | gnunet.conf.5 \ |
26 | gnunet-arm.1 \ | 42 | gnunet-arm.1 \ |