# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1213496625 0
# Node ID e17b253d63ca7ed26408aff90c73e85dceeff67a
# Parent  f9251beb65482b0439c1c3eb59046a85fcd3b33f
Use @copying.

diff -r f9251beb6548 -r e17b253d63ca doc/misc/idlwave.texi
--- a/doc/misc/idlwave.texi	Sun Jun 15 02:23:28 2008 +0000
+++ b/doc/misc/idlwave.texi	Sun Jun 15 02:23:45 2008 +0000
@@ -19,64 +19,38 @@
 @c %**end of header
 @finalout
 
-@ifinfo 
+@copying
 This file documents IDLWAVE, a major mode for editing IDL files with
 Emacs, and interacting with an IDL shell run as a subprocess.
 
 This is edition @value{EDITION} of the IDLWAVE User Manual for IDLWAVE
-@value{VERSION}
+@value{VERSION}.
 
 Copyright @copyright{} 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
 2007, 2008 Free Software Foundation, Inc.
 
+@quotation
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no
-Invariant Sections, with the Front-Cover texts being ``A GNU
-Manual'', and with the Back-Cover Texts as in (a) below.  A copy of the
-license is included in the section entitled ``GNU Free Documentation
-License'' in the Emacs manual.
+Invariant Sections, with the Front-Cover texts being ``A GNU Manual'',
+and with the Back-Cover Texts as in (a) below.  A copy of the license
+is included in the section entitled ``GNU Free Documentation License''.
 
 (a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
 modify this GNU manual.  Buying copies from the FSF supports it in
 developing GNU and promoting software freedom.''
-
-This document is part of a collection distributed under the GNU Free
-Documentation License.  If you want to distribute this document
-separately from the collection, you can do so by adding a copy of the
-license to the document, as described in section 6 of the license.
-@end ifinfo
+@end quotation
+@end copying
 
 @titlepage
 @title IDLWAVE User Manual
 @subtitle Emacs major mode and shell for IDL
 @subtitle Edition @value{EDITION}, @value{DATE}
-
 @author by J.D. Smith & Carsten Dominik
 @page
-This is edition @value{EDITION} of the @cite{IDLWAVE User Manual} for
-IDLWAVE version @value{VERSION}, @value{DATE}.
-@sp 2
-Copyright @copyright{} 1999, 2000, 2001, 2002, 2003, 2004, 2005, 
-          2006, 2007, 2008 Free Software Foundation, Inc.
-@sp 2
-@cindex Copyright, of IDLWAVE
-Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, with the Front-Cover texts being ``A GNU
-Manual'', and with the Back-Cover Texts as in (a) below.  A copy of the
-license is included in the section entitled ``GNU Free Documentation
-License'' in the Emacs manual.
-
-(a) 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.''
-
-This document is part of a collection distributed under the GNU Free
-Documentation License.  If you want to distribute this document
-separately from the collection, you can do so by adding a copy of the
-license to the document, as described in section 6 of the license.
+@vskip 0pt plus 1filll
+@insertcopying
 @end titlepage
 @contents