🚀 go-pugleaf

[ I apologize if this is the wrong newsgroup to ask question on GNU
TexInfo,
  and I appreciate any redirection to the right newsgroup. ]

I want to generate a PostScript format of the GNATS manual from its
TexInfo source.   When I run "texi2dvi", it returns the following error.
This is the 1st time I use texi2dvi and I don't know enough about
texinfo syntax to debug it.  It seems that texi2dvi does not understand
"@set" command in gnats.texi.

Is the error due to
a) the syntax error in TexInfo, or
b) the wrong way I invoke texi2dvi, or
c) the improper installation of texi2dvi on my Solaris machine?

And how can I fix it?

I appreciate your help.


Hon-Chi


The version of texi2dvi I'm using is:
% texi2dvi --version
texi2dvi (Texinfo 3.9) 1.10
Copyright (C) 1996 Free Software Foundation, Inc.
There is NO warranty.  You may redistribute this software
under the terms of the GNU General Public License.
For more information about these matters, see the files named COPYING.

% texi2dvi --verbose gnats.texi
Processing gnats.texi ...
Macro-expanding gnats.texi to /tmp/8092/gnats.texi ...
Backing up current index files:  ...
Running tex /tmp/8092/gnats.texi ...
This is TeX, C Version 3.14t3
(/tmp/8092/gnats.texi (/usr/local/tex3.14/lib/inputs/texinfo.tex
Loading texinfo package [Version 2.46]:  Basics, fonts, page headings,
tables,
indexing, sectioning, toc printing, environments, defuns, cross
reference,
and turning on texinfo input format.) (gnats.aux)
! Undefined control sequence.
l.4 @set
         VERSION 3.113
?


% cat -n /tmp/8092/gnats.texi | head -20
     1  \input texinfo   @c -*-texinfo-*-
     2  @setfilename gnats.info
     3
     4  @set VERSION 3.113
     5
     6  @ifinfo
     7  @format
     8  START-INFO-DIR-ENTRY
     9  * Keeping Track: (gnats).       GNU Problem Report Management
System
    10  END-INFO-DIR-ENTRY
    11  @end format
    12  @end ifinfo
    13
    14  @ifinfo
    15  Copyright @copyright{} 1993, 1995 Free Software Foundation, Inc.
    16
    17  Permission is granted to make and distribute verbatim copies of
    18  this manual provided the copyright notice and this permission
notice
    19  are preserved on all copies.
    20




Sent via Deja.com http://www.deja.com/
Before you buy.