Simon Michael e3edea11e8 doc: generate a single Info dir file, and commit it (#1585) ...

Avoids duplicate headings in info viewer, makes installing easier.

2021-06-27 19:31:15 -10:00

786 B

Raw History

View Raw