diff options
| author | Jun-ichi Takimoto <takimoto-j@kba.biglobe.ne.jp> | 2015-05-23 00:55:52 +0900 |
|---|---|---|
| committer | Jun-ichi Takimoto <takimoto-j@kba.biglobe.ne.jp> | 2015-05-23 01:01:25 +0900 |
| commit | 589350c776c2c91ba4263f3469a015c673084d0f (patch) | |
| tree | 0bb79a381b404c7d60970f57ed72da92f546288f /Doc/Makefile.in | |
| parent | f69968acdf99fa4f9af30e9912dd56a8e200decd (diff) | |
| download | zsh-589350c776c2c91ba4263f3469a015c673084d0f.tar.gz zsh-589350c776c2c91ba4263f3469a015c673084d0f.tar.xz zsh-589350c776c2c91ba4263f3469a015c673084d0f.zip | |
35255: if available, use texi2any instead of texi2html
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index a420781ee..7645f42f7 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -41,8 +41,7 @@ LN_S = @LN_S@ MAKEINFO = makeinfo TEXI2DVI = texi2dvi DVIPS = dvips -TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files \ - --init-file texi2html.conf +TEXI2HTML = @TEXI2HTML@ .SUFFIXES: .yo .1 @@ -163,7 +162,8 @@ html: zsh_toc.html .PHONY: html zsh_toc.html: $(sdir)/zsh.texi texi2html.conf - $(TEXI2HTML) $(sdir)/zsh.texi + $(TEXI2HTML) --output . --ifinfo --split=chapter --node-files \ + --init-file texi2html.conf $(sdir)/zsh.texi zshall.1: zsh.yo @case $@ in \ @@ -252,8 +252,12 @@ version.yo: $(sdir_top)/Config/version.mk ) > $(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>";' \ - > $@ + d=`echo $(VERSION_DATE)`; \ + v="<font size=\"-1\">Zsh version $(VERSION), released on $$d.</font>"; \ + case '$(TEXI2HTML)' in \ + *texi2any*) echo "set_from_init_file('PRE_BODY_CLOSE','$$v');" ;; \ + *) echo "\$$PRE_BODY_CLOSE = '$$v';" ;; \ + esac > $@ Zsh/modlist.yo: $(MODDOCSRC) ( \ |