* New upstream release * Removed patches: - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle this - documentation-paths.diff - the manpage is generated using correct paths - documentation-build.diff - build documentation, authors clarified that it does not contain Front/Back Covers and Invariant Sections * New patches: - syslibs-depend.diff - fix depend targets when system libraries are used * Override clean directories in debian/rules: upstream makefile tries to clean directories removed in Debian package * Build and install pdf docs - build-depend on texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra * Do not compress .pdf .cocci and .c files * Add information about manual license (GFDL-1.3+) into debian/copyright * Standards-Version 3.9.0 — no changes required * Install the bash completion file