texinfo.tex @copying bugs

[Joseph S. Myers]

texinfo.tex (version 2002-11-25.11) seems to have some problems with
@copying containing comments or @ignore.  (I came across these in
attempting the convert the GCC manuals to use @copying.)

The following testcase uses @ignore, and gives the error:

Runaway argument?
address@hidden address@hidden @end titlepage @par @@par @ifnottex @ETC.
! File ended while scanning use of @doignoretext.
<inserted text>
                @par
<*> ...gcc/unsent-patches/texi3copy/test/test.texi

?

======================================================================
\input texinfo
@setfilename test.info
@settitle Test Manual

@copying
Copying foo.
@ignore
bar
@end ignore
@end copying

@titlepage
@title Test Title

@page
@vskip 0pt plus 1filll
@insertcopying
@end titlepage

@contents

@ifnottex
@node Top
@end ifnottex

@bye
======================================================================

The following testcase uses a comment, and the copyright page is left
blank in the DVI output rather than including the copying text.

======================================================================
\input texinfo
@setfilename test2.info
@settitle Test Manual

@copying
@c foo
Copying foo.
@end copying

@titlepage
@title Test Title

@page
@vskip 0pt plus 1filll
@insertcopying
@end titlepage

@contents

@ifnottex
@node Top
@end ifnottex

@bye
======================================================================

These constructs are used in the GCC manuals as part of automatic
manpage generation, for example:

@copying
@c man begin COPYRIGHT
Copyright @copyright{} @value{copyrights-gcj} Free Software Foundation, Inc.

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with the
Invariant Sections being ``GNU General Public License'', the Front-Cover
texts being (a) (see below), and with the Back-Cover Texts being (b)
(see below).  A copy of the license is included in the
@c man end
section entitled
``GNU Free Documentation License''.
@ignore
@c man begin COPYRIGHT
man page gfdl(7).
@c man end
@end ignore

@c man begin COPYRIGHT
(a) The FSF's Front-Cover Text is:

     A GNU Manual

(b) The FSF's Back-Cover Text is:

     You have freedom to copy and modify this GNU Manual, like GNU
     software.  Copies published by the Free Software Foundation raise
     funds for GNU development.
@c man end
@end copying

-- 
Joseph S. Myers
address@hidden