diff options
Diffstat (limited to 'doc/make-stds.texi')
| -rw-r--r-- | doc/make-stds.texi | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/make-stds.texi b/doc/make-stds.texi index 7cc9537b82..6c83b5d58f 100644 --- a/doc/make-stds.texi +++ b/doc/make-stds.texi @@ -943,11 +943,12 @@ foo.dvi: foo.texi chap1.texi chap2.texi @end smallexample @noindent -You must define the variable @code{TEXI2DVI} in the Makefile. It should -run the program @code{texi2dvi}, which is part of the Texinfo -distribution.@footnote{@code{texi2dvi} uses @TeX{} to do the real work -of formatting. @TeX{} is not distributed with Texinfo.} Alternatively, -write just the dependencies, and allow GNU @code{make} to provide the command. +You must define the variable @code{TEXI2DVI} in the Makefile. It +should run the program @code{texi2dvi}, which is part of the Texinfo +distribution. (@code{texi2dvi} uses @TeX{} to do the real work of +formatting. @TeX{} is not distributed with Texinfo.) Alternatively, +write only the dependencies, and allow GNU @code{make} to provide the +command. Here's another example, this one for generating HTML from Texinfo: |