who makes these decisions at gnu texinfo... argh!
authorng0 <ng0@n0.is>
Fri, 16 Aug 2019 22:58:29 +0000 (22:58 +0000)
committerng0 <ng0@n0.is>
Fri, 16 Aug 2019 22:58:29 +0000 (22:58 +0000)
commitbf7912bb4d0f43182f4787c03c46c56dfa0105e3
tree6500971ff316190601be982e740e6c28c83d1e5a
parent04e8713205cc661823305e0411e23966e6e18ca3
who makes these decisions at gnu texinfo... argh!
doc/handbook/Makefile.am
doc/tutorial/Makefile.am