htmldoc -f finalbook.pdf --size letter -t pdf14 --webpage --duplex nav.html \
intro.html \
install.html \
running.html \
input.html \
syntax.html \
auto.html \
term-order.html \
more-prep.html \
limits.html \
loop.html \
select.html \
inf-rules.html \
process-inf.html \
output.html \
weight.html \
attributes.html \
actions.html \
goals.html \
hints.html \
semantics.html \
mace4.html \
m4-input.html \
m4-options.html \
m4-interpformat.html \
m4-isofilter.html \
prooftrans.html \
fof-prover9.html \
others.html \
options.html \
glossary.html \
references.html \

