diff options
author | Karl Berry <karl@freefriends.org> | 2010-08-26 06:33:40 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-08-26 06:33:40 -0700 |
commit | fc9e09aefe118abf4d694fc509e32f2631fe55e8 (patch) | |
tree | 79e8dfdaa3ae315efe421c5fc7462a688ee146ed /doc/make-stds.texi | |
parent | 0a051206787d83314ac69cf4c8857c0e880feaed (diff) | |
download | gnulib-fc9e09aefe118abf4d694fc509e32f2631fe55e8.tar.gz |
autoupdate
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: |