/doc/

• ../
• README.md
• manual.bib
• manual.pdf
• manual.tex