On Sun, Dec 05, 2021 at 04:38:35AM -0500, Alfred M. Szmidt wrote:
> A patch is worth more than a thousand words.
>
> 2021-12-05 Alfred M. Szmidt
>
>* doc/texinfo.texi (@code{@@format}): Add example input.
>
> diff --git a/doc/texinfo.texi b/doc/texinfo.texi
>
On Sun, Dec 05, 2021 at 04:38:35AM -0500, Alfred M. Szmidt wrote:
> A patch is worth more than a thousand words.
>
> 2021-12-05 Alfred M. Szmidt
>
> * doc/texinfo.texi (@code{@@format}): Add example input.
>
> diff --git a/doc/texinfo.texi b/doc/texinfo.texi
> index
$ man makeinfo
--fill-column=NUM
break Info lines at NUM characters (default 72).
Say columns, not characters. E.g., there will be less characters if they
are fullwidth characters.
That wouldn't make sense, a column is N characters, saying that it
breaks at
You need to read the text to understand what an option does, the text
in question clearly explains what the --no-number-footnotes option
does. A itemized list does not mean that options are aliases,
'--no-ifdocbook', '--no-ifhtml' etc are also listed in one group.
GNU makeinfo doesn't know about previously generated files, so it
cannot know what to clean out (maybe the user created them). If you
wish to do that, use a make target that cleans them out for you.
This should probobly fix it, untested.
2021-12-05 Alfred M. Szmidt
* tp/texi2any.pl (makeinfo_help) <--output>: Fix indentation.
diff --git a/tp/texi2any.pl b/tp/texi2any.pl
index fa7cc7a42a..391d5f8fe4 100755
--- a/tp/texi2any.pl
+++ b/tp/texi2any.pl
@@ -663,10 +663,10 @@ the
On
(info "(texinfo) Footnote Styles")
(info "(texinfo) @paragraphindent")
mention how to unindent footnotes.
$ makeinfo --plaintext --set-customization-variable paragraphindent=0
doesn't work.
Your invokation of makeinfo is incorrect, so what do you expect? GNU
makeinfo takes a
A better approach is if you suggest what wording should be added or
improved instead of you being unkind and dicating what people should
do.
A patch is worth more than a thousand words.
2021-12-05 Alfred M. Szmidt
* doc/texinfo.texi (@code{@@format}): Add example input.
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 2c833da3d8..3298b93d25 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -6708,14 +6708,32 @@
(info "(texinfo) @pagesizes") says:
To make more elaborate changes, such as changing any of the page
margins, you must define a new command in 'texinfo.tex' or
'texinfo.cnf'.
Mention a workaround:
Mention a workaround for what exactly? If you need to do extensive
10 matches
Mail list logo