cpdf-source/html_manual/go

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
Bashing on with HTML manual 2024-12-05 16:30:25 +00:00			`cp -r ../manualimages .`
			`cp ../logo.pdf .`
			`cp ../Changes .`
			`mkdir ../camlpdf`
			`cp ../../camlpdf/Changes ../camlpdf/Changes`
			`TEXINTUTS=..:$TEXINPUTS htlatex ../cpdfmanual "html,2"`
Fix padding 2024-12-06 19:08:53 +00:00			`sed -i '' 's/.framedenv{border: 1px solid black;}/.framedenv{border: 1px solid black; padding: 8px}/g' cpdfmanual.css`