Files
kraken/doc/Manual.pdf