Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
fix-manpages.patch | Fix a manpage issue. * When manpages are generated from these files, this stuff with the dots is interpreted as a (missing) macro and not displayed. |
Tobias Hansen <tobias.han@gmx.de> | no | |||
fix-manpage-generation-script.patch | Fix issues with the manpage generation script. * Add alleg5 suffix to manual page file names to prevent possible name clashes. |
Tobias Hansen <tobias.han@gmx.de> | no | |||
use-debians-dejavu-font.patch | Use Debian's DejaVuSans font for the fonts test. It is in the package fonts-dejavu-core. | Tobias Hansen <tobias.han@gmx.de> | not-needed | |||
0004-Migrate-GTK2-to-GTK3.patch | Migrate GTK2 to GTK3 | =?utf-8?q?Andreas_R=C3=B6nnquist?= <gusnan@debian.org> | yes | upstream | 2020-08-11 | |
0005-Fix-warnings-in-make_doc.patch | Fix warnings in make_doc Explicitly tell pandoc that the input format is markdown (auto detection doesn't work because the temp input files have an extension consisting of random characters. |
Peter Hull <peterhull90@gmail.com> | no | 2020-10-24 |