57c703b14c
* remove crypt.pdf from repo * ignore generated PDF's * make refman.pdf generation silent
* remove crypt.pdf from repo * ignore generated PDF's * make refman.pdf generation silent