Re: texinfo.tex @copying bugs

[Karl Berry]

    texinfo.tex (version 2002-11-25.11) seems to have some problems with
    @copying containing comments or @ignore.

Thanks for the report.  I put a new version of texinfo.tex on prep which
I believe fixes these bugs.  (It's not feasible to fully implement
@ignore, but as you stick to simple text, it should be fine.)  Diff
below.

BTW, you can make the copying text take up a few less lines if you
want (not that it really matters).  See the sample text at
http://www.gnu.org/manual/texinfo/html_node/GNU-Sample-Texts.html

Happy holiday hacking,
karl


*** texinfo.tex 5 Dec 2002 20:38:22 -0000       1.21
--- texinfo.tex 27 Dec 2002 00:22:47 -0000      1.22
***************
*** 4723,4728 ****
--- 4728,4742 ----
        \space \penalty 1 %
      \fi %
    }%
+   %
+   % Fix @c[omment] for catcode 13 ^^M's.
+   \def\c##1^^M{\ignorespaces}%
+   \let\comment = \c %
+   %
+   % Don't bother jumping through all the hoops that \doignore does, it
+   % would be very hard since the catcodes are already set.
+   \long\def\ignore##1\end ignore{\ignorespaces}%
+   %
    \copyingtext %
  \endgroup}%
  }