doc-path-for-debian.patch
debian-specific-build-config.patch
user-manual-latex-code-fix-doxygen-problem
