doc/manual.txt
doc/manual.pdf
