1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-11-10 21:38:50 +01:00

doc: Add support for generating HTML versions of the man pages.

* doc/Makefile.am (yat2m-stamp): Also call yat2m with --html options.
* doc/yat2m.c (main): Add dummy options.
--

Note that the generated html versions of the man pages will only be
correct if the external yat2m tool is installed - at least for the
maintainers of the website this will be the case.
This commit is contained in:
Werner Koch 2024-09-19 14:00:32 +02:00
parent a698adbb53
commit 35d80ebd78
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B
2 changed files with 12 additions and 1 deletions

View File

@ -143,7 +143,11 @@ yat2m-stamp: $(myman_sources) defs.inc
for file in $(myman_sources); do \
$(YAT2M) $(YAT2M_OPTIONS) --store \
--date "`cat $$incd 2>/dev/null`" \
`test -f '$$file' || echo '$(srcdir)/'`$$file ; done
`test -f '$$file' || echo '$(srcdir)/'`$$file ; \
$(YAT2M) $(YAT2M_OPTIONS) --store --html --gnupgorg \
--date "`cat $$incd 2>/dev/null`" \
`test -f '$$file' || echo '$(srcdir)/'`$$file ;\
done
@mv -f yat2m-stamp.tmp $@
yat2m-stamp: $(YAT2M)

View File

@ -1583,6 +1583,13 @@ main (int argc, char **argv)
opt_store = 1;
argc--; argv++;
}
else if (!strcmp (*argv, "--html") || !strcmp (*argv, "--gnupgorg"))
{
/* These are dummy options to keep the Makefile simple. It
* is not expected that the HTML files for upload are
* created with this included version of yat2m. */
argc--; argv++;
}
else if (!strcmp (*argv, "--select"))
{
argc--; argv++;