2023-11-25

A few fixes from MMIX home made it upstream.

Create final CWEB output

git clean -f
for f in *.tch
do
  f=$(basename $f .tch)
  tie -c ctwill-$f.ch $f.{w,ch}
  perl -pe "s/(d ABSTIME) \d*/\1 `date +%s`/" -i ctwill-$f.ch
  cweave -lX $f.w ctwill-$f.ch
  pdftex -interaction batchmode $f.tex
  pdftex -interaction batchmode $f.tex
done
xetex mmix-doc.tex

Create CTWILL output in proofmode

git clean -f
for f in *.tch
do
  f=$(basename $f .tch)
  tie -c ctwill-$f.ch $f.{w,ch,tch}
  perl -pe "s/(d ABSTIME) \d*/\1 `date +%s`/" -i ctwill-$f.ch
  ctwill -lpdf +P $f.w ctwill-$f.ch
  ctwill -lpdf +P $f.w ctwill-$f.ch
  pdftex -interaction batchmode $f.tex
  ( ctwill-proofsort <$f.tex ) 1<>$f.tex
  pdftex -interaction batchmode $f.tex
  mv -f $f.pdf ctwill-$f+P.pdf
done
xetex mmix-doc.tex
mv -f mmix-doc.pdf ctwill-mmix-doc+P.pdf

Create final CTWILL output

git clean -f
for f in *.tch
do
  f=$(basename $f .tch)
  tie -c ctwill-$f.ch $f.{w,ch,tch} mmix-noinx.ch
  perl -pe "s/(d ABSTIME) \d*/\1 `date +%s`/" -i ctwill-$f.ch
  ctwill -lpdf $f.w ctwill-$f.ch
  ctwill -lpdf $f.w ctwill-$f.ch
  pdftex -interaction batchmode $f.tex
  ctwill-refsort <$f.ref >$f.sref
  pdftex -interaction batchmode $f.tex
  mv -f $f.pdf ctwill-$f.pdf
done
xetex mmix-doc.tex
mv -f mmix-doc.pdf ctwill-mmix-doc.pdf