cp -r ../manualimages .
cp ../logo.pdf .
cp ../Changes .
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