Re: Inconsistency in writing apostrophe in info and html output with version 7.0.3

2023-06-08 Thread Raymond Toy
On 6/5/23 10:50, Gavin Smith wrote: On Mon, Jun 05, 2023 at 07:18:00AM -0700, Raymond Toy wrote: Maxima grovels over the html file to find appropriate links to use for the html version of the manual. This was working fine with 6.8 and earlier because I found appropriate regexps to find the link

[PROPOSED] * doc/texinfo.tex: spelling fixes

2023-06-08 Thread Paul Eggert
* doc/texinfo.tex: Fix two misspellings in comments. Originally reported by Josh Soref in: https://lists.gnu.org/r/bug-gnulib/2023-06/msg00057.html --- doc/texinfo.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/texinfo.tex b/doc/texinfo.tex index 9e66eeb720..888