bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: use directly makeinfo in texi2dvi instead of working around


From: Patrice Dumas
Subject: Re: use directly makeinfo in texi2dvi instead of working around
Date: Sun, 13 Nov 2022 12:26:33 +0100

On Sun, Nov 13, 2022 at 11:12:17AM +0000, Gavin Smith wrote:
> I've done it myself.  I didn't change the makeinfo invocation.  I don't
> like the "-c TEXINFO_OUTPUT_FORMAT=plaintexinfo" option much but it is
> not a big deal if you would rather use it.  (My feeling is that
> "plaintexinfo" is not very descriptive and that the TEXINFO_ prefix
> is redundant.)

plaintexinfo could be changed to something else, just tell me.

> Another option would be to change texi2any not to process for output
> with the invocation we use -
> 
>  $makeinfo --footnote-style=end -I "$in_dir" $run_mi_includes \
>         -o /dev/null --macro-expand=-
> 
> - possibly if the --macro-expand option is given as this option is likely
> only used in this script and for debugging. 

I am a bit worried that some user-defined scripts rely on this
behaviour.  Also, if "-c TEXINFO_OUTPUT_FORMAT=plaintexinfo" was
replaced by --macro-expand it would require changing --macro-expand not
to take an argument.

In any case, I prefer using "-c TEXINFO_OUTPUT_FORMAT=plaintexinfo" to
avoid the expansion to Info, not only because it is useless, but as
importantly, because the error messages related to conversion to Info
are output, this should be avoided.

Last, you forgot --iftex --no-ifinfo, I will also add.

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]