![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
to convert Benjamin C. Pierce et al's book Software Foundations to PDF: http://www.cis.upenn.edu/~bcpierce/sf/index.html
download from http://www.cis.upenn.edu/~bcpierce/sf/sf.tar.gz
tar xovzf sf.tar.gz
cd sf
edit 'coqdoc.css' and within the stanza "#main .doc", delete the line "max-width: 35em; /* 40em; */"
find . -name \*.html
| sed 's/.html$g' | xargs -n 1 -I X wkhtmltopdf -s letter --quiet X.html X.pdf |
pdftk index.pdf deps.pdf toc.pdf Symbols.pdf Preface.pdf Basics.pdf Induction.pdf Lists.pdf Poly.pdf MoreCoq?.pdf Prop.pdf MoreProp?.pdf Logic.pdf ProofObjects?.pdf MoreInd?.pdf SfLib?.pdf Imp.pdf ImpParser?.pdf ImpCEvalFun?.pdf Extraction.pdf Equiv.pdf Hoare.pdf Hoare2.pdf HoareList?.pdf HoareAsLogic?.pdf Rel.pdf Smallstep.pdf Auto.pdf Types.pdf Stlc.pdf StlcProp?.pdf Typechecking.pdf MoreStlc?.pdf Records.pdf References.pdf Sub.pdf RecordSub?.pdf Norm.pdf LibTactics?.pdf UseTactics?.pdf UseAuto?.pdf PE.pdf Postscript.pdf coqindex.pdf cat output book.pdf
