summaryrefslogtreecommitdiffstats
path: root/doc/build.info.in
AgeCommit message (Expand)Author
2021-09-22doc: remove end of line whitespacePauli
2021-05-22doc: process images when installingPauli
2021-02-23Generate doc/build.info with 'make update' rather than on the flyRichard Levitte