Re: 'texi2any --pdf' isn't always equivalent to 'texi2pdf'

[Ken Brown]

On 10/16/2014 2:01 PM, Karl Berry wrote:
> could/should make this clearer in the manual.

Something like this?

Index: doc/texinfo.texi
===================================================================
--- doc/texinfo.texi    (revision 5878)
+++ doc/texinfo.texi    (working copy)
@@ -17621,7 +17621,7 @@
 basic support for creating printed output in the various formats:
 @TeX{} DVI, PDF, and PostScript.  This is done via the simple method
 of executing the @command{texi2dvi} program when those outputs are
-requested.
+requested, after first checking the validity of the input file.

 The output format options for this are @option{--dvi},
 @option{--dvipdf}, @option{--pdf}, and @option{--ps}.  @xref{Format
@@ -17647,6 +17647,9 @@
 texi2dvi -t @@a4paper --pdf foo.texi
 @end example

address@hidden except for the preliminary validity check done by
address@hidden
+
 Although one might wish that other options to @command{texi2any} would
 take effect, they don't.  For example, running @samp{texi2any
 --no-number-sections --dvi foo.texi} still results in a DVI file with
Index: tp/texi2any.pl
===================================================================
--- tp/texi2any.pl      (revision 5878)
+++ tp/texi2any.pl      (working copy)
@@ -756,7 +756,8 @@
       --html                  output HTML rather than Info.
       --plaintext             output plain text rather than Info.
       --xml                   output Texinfo XML rather than Info.
-      --dvi, --dvipdf, --ps, --pdf  call texi2dvi to generate given output.\n")
+      --dvi, --dvipdf, --ps, --pdf  call texi2dvi to generate given output,
+                                after checking validity of TEXINFO-FILE.\n")

 ."\n";
   $makeinfo_help .= __("General output options: