diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile b/Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile index 14eb181f4ba..61a11929cbb 100644 --- a/Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile +++ b/Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile @@ -7,7 +7,7 @@ latex-doc-ptr.pdf: latex-doc-ptr.tex latex-doc-ptr.sty dash.sty latex-doc-ptr.html: latex-doc-ptr.tex latex-doc-ptr.sty dash.sty make4ht latex-doc-ptr.tex - cp latex-doc-ptr.css.bak latex-doc-ptr.css + cp latex-doc-ptr.css.replacement latex-doc-ptr.css # Get subsections headers awk -f massage_html.awk <latex-doc-ptr.html > latex-doc-ptr-massaged.html # Correct lost ligatures (all very fragile, but I can't grok tex4ht) |