On 11/30/22 06:44, Gavin Smith wrote:
There are a couple of other less important problems. You can see
them at https://www.gnu.org/software/texinfo/manual/texinfo-html/index.html:
* A tooltip pops up saying "General Index (GNU Texinfo 7.0.1)" at the
table of contents.
* The page title (displ
I'm closing the "help wanted" section at Savannah as it is not useful.
I'm copying the text of one of the items into this email to have a record
of the link to a program.
Date: 2011-02-10
>>>
It would be nice to havea MediaWiki to Texinfo converter: see
https://savannah.gnu.org/bugs/?32416
https
We have released version 7.0.1 of Texinfo, the GNU documentation format.
This package contains tools to produce documentation in various
formats, including HTML and PDF, from source files in the Texinfo
format. Texinfo is a text-based format with commands for marking text,
document structuring an
On Tue, Nov 29, 2022 at 09:18:53PM +, Gavin Smith wrote:
> I will cherry-pick to the release branch and update the web demo
> when this is done.
...easier said than done. Due to the changes to the structure
of the index output on the master branch, I had to edit info.js.
The changes were the
On Tue, Nov 29, 2022 at 05:29:47PM +0100, Vincent Lefevre wrote:
> Consider the following testcase:
>
> \input texinfo@c -*-texinfo-*-
> @afourpaper
> @page
> A
> @sp 31
> B
> @need 800
> C
> @sp 17
> D
> @bye
>
> to be compiled with texi2pdf. As of texinfo.tex 2022-08-21.14[*],
> the output
On 2022-11-29 21:54:21 +, Gavin Smith wrote:
> It's possible to make this page break less likely, e.g. with
>
> diff --git a/doc/texinfo.tex b/doc/texinfo.tex
> index 6b39021567..e819dfd462 100644
> --- a/doc/texinfo.tex
> +++ b/doc/texinfo.tex
> @@ -702,9 +702,9 @@ where each line of input pr
