010_gmake-subst-run-tests.patch
020_use-fancyhdr.patch
030_new-nomencl.patch
040_use-gunzip-instead-of-gzcat.patch
050_disable-tgif.patch
060_fix-documentation.patch
