diff options
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 |