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 |