PATCH: Doc: Add zsh version to footer in HTML documentation.

PATCH: Doc: Add zsh version to footer in HTML documentation.

[Simon Ruderich]

[-- Attachment #1: Type: text/plain, Size: 2019 bytes --]

---
Hello,

As requested by Dave Yost (32258).

If somebody knows a solution without this temporary file, please
tell me. I couldn't find anything in texi2html's documentation.

Regards
Simon

 .gitignore      |  1 +
 Doc/Makefile.in | 10 ++++++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5fd574b..4ae315b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,7 @@ Doc/intro.a4.ps
 Doc/intro.us.pdf
 Doc/intro.us.ps
 Doc/version.yo
+Doc/texi2html.conf
 Doc/zsh*.1
 Doc/zsh.texi
 Doc/zsh.info*
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index 50e210f..5a1fc90 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -41,7 +41,8 @@ LN_S            = @LN_S@
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips
-TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files
+TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files \
+            --init-file $(sdir)/texi2html.conf
 
 .SUFFIXES: .yo .1
 
@@ -159,7 +160,7 @@ zsh_a4.ps: zsh.dvi
 html: zsh_toc.html
 .PHONY: html
 
-zsh_toc.html: $(sdir)/zsh.texi
+zsh_toc.html: $(sdir)/zsh.texi $(sdir)/texi2html.conf
 	$(TEXI2HTML) $(sdir)/zsh.texi
 
 zshall.1: zsh.yo
@@ -247,6 +248,10 @@ version.yo: $(sdir_top)/Config/version.mk
 	  echo 'IFDEF(DECWSLEVEL)(DECWSLEVEL())(ENDDEF())#' | tr '#' '\\'; \
 	) > $(sdir)/version.yo
 
+texi2html.conf: $(sdir_top)/Config/version.mk
+	echo '$$PRE_BODY_CLOSE = "<font size=\"-1\">Zsh version $(VERSION), released on $(VERSION_DATE).</font>";' \
+	    > $(sdir)/$@
+
 Zsh/modlist.yo: $(MODDOCSRC)
 	( \
 	    echo "startitem()"; \
@@ -387,6 +392,7 @@ clean-here:
 	rm -f *.aux *.cp *.cps *.fn *.fns *.ky *.log
 	rm -f *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs
 	rm -rf infodir
+	rm -f texi2html.conf
 .PHONY: clean-here
 
 distclean-here: clean-here
-- 
1.8.5.3.11.g2401a3b

-- 
+ privacy is necessary
+ using gnupg http://gnupg.org
+ public key id: 0x92FEFDB7E44C32F9

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 836 bytes --]