From 3804c95019b5865c965c8476d7b5b8910b1c6418 Mon Sep 17 00:00:00 2001 From: Ian Barwick Date: Thu, 9 May 2019 16:05:19 +0900 Subject: [PATCH] doc: (re)add single page HTML generation --- doc/Makefile | 5 +++++ doc/stylesheet-html-nochunk.xsl | 23 +++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 doc/stylesheet-html-nochunk.xsl diff --git a/doc/Makefile b/doc/Makefile index 05574afa..352d0111 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -36,6 +36,11 @@ html-stamp: stylesheet.xsl repmgr.sgml $(ALLSGML) $(GENERATED_SGML) cp $(srcdir)/stylesheet.css html/ touch $@ +# single-page HTML +repmgr.html: stylesheet-html-nochunk.xsl repmgr.sgml $(ALLSGML) $(GENERATED_SGML) + $(XMLLINT) $(XMLINCLUDE) --noout --valid $(word 2,$^) + $(XSLTPROC) $(XMLINCLUDE) $(XSLTPROCFLAGS) $(XSLTPROC_HTML_FLAGS) -o $@ $(wordlist 1,2,$^) + version.sgml: $(repmgr_top_builddir)/repmgr_version.h { \ echo ""; \ diff --git a/doc/stylesheet-html-nochunk.xsl b/doc/stylesheet-html-nochunk.xsl new file mode 100644 index 00000000..78add26a --- /dev/null +++ b/doc/stylesheet-html-nochunk.xsl @@ -0,0 +1,23 @@ + + + + + + + + + + + + + + + + + + + +