Michael Pratt cdd56fc893 tools/missing-macros: add symlinks to makeinfo vor 1 Jahr
..
src d39c6cd29b tools/missing-macros: bump version of makeinfo alternative script vor 2 Jahren
Makefile cdd56fc893 tools/missing-macros: add symlinks to makeinfo vor 1 Jahr