diff options
author | Karl Berry <karl@freefriends.org> | 2010-07-14 16:33:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-07-14 16:33:09 +0000 |
commit | 26fdacbc0d1cddffe387bb382f35672e1ee5d446 (patch) | |
tree | 41b6a133425a7bdaf73671adff12ff7e0ce04464 /Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile | |
parent | 8e104c87c3953860c1c4a558c5e6576083648dcb (diff) |
latex2e-help-texinfo jul10 (12jul10)
git-svn-id: svn://tug.org/texlive/trunk@19442 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile index 723d79f2d81..3dd2c4baaa0 100644 --- a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile +++ b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/Makefile @@ -1,15 +1,15 @@ -# Copyright 2006 Karl Berry. -# You may freely use, modify and/or distribute this file. +# Public domain. Originally written 2006, Karl Berry. # Makefile for latexrefman. texi2dvi = texi2dvi --batch --tidy --build-dir=$*.t2dvi texi2pdf = texi2pdf --batch --tidy --build-dir=$*.t2pdf # -texi2docbook = makeinfo --docbook -texi2html = makeinfo --no-split --html -texi2info = makeinfo --no-split -texi2txt = makeinfo --no-split --plaintext -o $@ -texi2xml = makeinfo --xml +makeinfo = makeinfo +texi2docbook = $(makeinfo) --docbook +texi2html = $(makeinfo) --html --no-split +texi2info = $(makeinfo) --no-split +texi2txt = $(makeinfo) --plaintext --no-split -o $@ +texi2xml = $(makeinfo) --xml %.pdf: %.texi $(texi2pdf) $< @@ -19,6 +19,8 @@ texi2xml = makeinfo --xml $(texi2docbook) -o $@ $< %.html: %.texi $(texi2html) $< +# kludge in fix for missing g_t prefix in toc entries in makeinfo 4.13. + perl -pi -e 's/href="#_/href="#g_t_/' $@ || rm $@ %.info: %.texi $(texi2info) $< %.txt: %.texi |