doc/manual.html
doc/manual.pdf
