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
+@noindent except for the preliminary validity check done by
+@command{texi2any}.
+
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:
