#!/bin/sh ./makediff.sh virtio-html.tex || exit 3 SPECDOC=${SPECDOC:-`cat REVISION`} SPECDOC="${SPECDOC}-diff" ./make-setup-generated.sh "$SPECDOC" cp virtio-diff.tex $SPECDOC.tex #uncomment if you have a broken t4ht #PATH=./t4ht-workaround:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" htlatex $SPECDOC.tex "virtio-html,info,charset=utf-8,fn-in" " -cunihtf -utf8" rm $SPECDOC.tex rm $SPECDOC.aux mv $SPECDOC.html $SPECDOC.tmp1 sed 's/~~/"/g' $SPECDOC.tmp1 >$SPECDOC.tmp2 sed 's/>~/>"/g' $SPECDOC.tmp2 >$SPECDOC.tmp3 sed 's/>=~/>="/g' $SPECDOC.tmp3 >$SPECDOC.tmp4 sed 's/~$SPECDOC.tmp5 # If font paths are misconfigured, we get ligatures # (such as 'ff or 'fi') replaced by NULL character in output. # This in not a valid HTML output, so detect this and warn user. # For detection, we rely on the fact that file utility # recognizes files with NULL characters as binary data. if test "$(file -b $SPECDOC.tmp5)" = 'data'; then echo echo WARNING! echo echo NULL characters detected in file output. echo This is likely due to tex4ht being unable to find font files. echo If installed, you might need to fix font file paths echo for tex4ht by locating tex4ht.env file in your setup echo correcting font file paths there and copying it to echo tex4ht.env or .tex4ht in your home directory. echo echo WARNING! echo Proceeding but HTML output appears to be malformed. echo fi mv $SPECDOC.tmp5 $SPECDOC.html rm $SPECDOC.tmp* #uncomment if you have a broken t4ht #cp ./t4ht-workaround/virtio-v1.0-csd01.css $SPECDOC.css zip $SPECDOC.zip $SPECDOC*.html $SPECDOC.css images/*.png