cp -r ../manualimages . cp ../logo.pdf . cp ../Changes . mkdir ../camlpdf cp ../../camlpdf/Changes ../camlpdf/Changes TEXINTUTS=..:$TEXINPUTS htlatex ../cpdfmanual "html,2" #Pad frames sed -i '' 's/.framedenv{border: 1px solid black;}/.framedenv{border: 1px solid black; padding: 8px}/g' cpdfmanual.css #Remove tex4ht's attempt at box-drawing characters for struct trees LCTYPE=C LANG=C sed -i '' 's/__/\ \ /g' *.html #Make sure HTML files have a lang set LCTYPE=C LANG=C sed -i '' 's///g' *.html #Give the main page a title LCTYPE=C LANG=C sed -i '' 's/