summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-01-03 22:29:35 +0000
committerKarl Berry <karl@freefriends.org>2021-01-03 22:29:35 +0000
commit09e53a535db7dac7460976c2f2506f2d9753df70 (patch)
treecab944b32fa864bb7c3e7dacb0348c7b59e05215 /Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile
parent6e95eb9f5ffa8d677a43a498ee09248674790abc (diff)
latex-doc-ptr (3jan21)
git-svn-id: svn://tug.org/texlive/trunk@57311 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile')
-rw-r--r--Master/texmf-dist/doc/latex/latex-doc-ptr/Makefile2
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)