| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-06-12 | Fix makeinfo output directory change | Rasmus Villemoes | |
| At some point makeinfo changed default output dir from {basename} to {basename}_html . Add a patch to use an explicit dir name. Signed-off-by: Rasmus Villemoes <rv@rasmusvillemoes.dk> | |||