|
From: | Bruno Haible |
Subject: | Re: Take account of splitting option in gendocs.sh |
Date: | Mon, 27 Mar 2023 00:28:39 +0200 |
Gavin Smith wrote: > Here's an updated patch that does not affect the behaviour when > used with texi2html. Thanks for the improvement. Bruno
[Prev in Thread] | Current Thread | [Next in Thread] |