diff options
author | Simon Ruderich <simon@ruderich.org> | 2014-01-19 16:24:40 +0100 |
---|---|---|
committer | Simon Ruderich <simon@ruderich.org> | 2014-03-03 21:28:21 +0100 |
commit | 3c25cb29aba4d4c1a907aa29db48c36d8dbac18e (patch) | |
tree | 229e8611230324cb4329be7e48c663ca57c7b012 /Doc | |
parent | 7d301a527e729e2a2fda03069e485bdcc2e12823 (diff) | |
download | zsh-3c25cb29aba4d4c1a907aa29db48c36d8dbac18e.tar.gz zsh-3c25cb29aba4d4c1a907aa29db48c36d8dbac18e.tar.xz zsh-3c25cb29aba4d4c1a907aa29db48c36d8dbac18e.zip |
32289: Doc: Add zsh version to footer in HTML documentation.
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/Makefile.in | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index af0a2b5da..c86f34947 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 @@ -248,6 +249,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()"; \ @@ -388,6 +393,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 |