More HTML manual fixes

This commit is contained in:
John Whitington
2024-12-07 16:30:16 +00:00
parent 1ab30bb0ac
commit 899206f291
3 changed files with 81 additions and 0 deletions

View File

@ -5,3 +5,4 @@ mkdir ../camlpdf
cp ../../camlpdf/Changes ../camlpdf/Changes
TEXINTUTS=..:$TEXINPUTS htlatex ../cpdfmanual "html,2"
sed -i '' 's/.framedenv{border: 1px solid black;}/.framedenv{border: 1px solid black; padding: 8px}/g' cpdfmanual.css
LCTYPE=C LANG=C sed -i '' 's/__/\ \ /g' *.html