doc/manual.pdf
doc/manual.html
