Branden,
Your checklist looks great. I would add:
P. The question posed in
http://savannah.gnu.org/bugs/?58930#comment10 and addressed in
follow-up comment #11 should have a definitive answer (even if that
answer is "leave things as they are for 1.23"). I think I still favor
reverting and then
[following up after nearly a year]
At 2020-05-27T23:37:29+1000, G. Branden Robinson wrote:
> Hi Gavin,
>
> Please accept my apologies for the delay. I kept wanting to produce a
> reduced version of the groff Texinfo manual
I've finally managed to do this; I've cut down the groff Texinfo manual
Hi, Hans!
At 2021-04-17T12:09:00+0200, Hans Unzner wrote:
> Thanks very much, Branden!
> This change also creates HTML-tags already. So there is no
> need to change the HTML output driver at this point.
Right--not in this respect, at least.
> Does this change go into the official release or do
Hi Oliver,
At 2021-04-17T14:26:55+0200, Oliver Corff wrote:
> Hi Branden,
>
> thank you so much for your meticulous work!
You're welcome--but I can't help it!
> I may not be aware of the latest developments but I just noticed under
> "Miscellaneous" that groffer has been deleted from the distri
Thanks very much, Branden!
This change also creates HTML-tags already. So there is no
need to change the HTML output driver at this point.
Does this change go into the official release or do I have to patch it
always on my system?
Another thing that shows up with that extension is the indenta
