0001-Rationalize-HTML-documentation-targets-in-doc-Makefi.patch
0002-Change-pdf-viewer-default-from-Evince-to-xpdf.patch
0003-Fix-TeX-engine-alist-builtin-defvar.patch
use-xdg-open.patch
use-firefox.patch
