# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1213496825 0
# Node ID ef5e07e42359a3df7978cad1f0d02720f516859a
# Parent  beeefbf6b7d79731b1d48f7dba306f5a11116217
Use @copying, @title, @subtitle, @author.
Remove references to non-existent Invariant Sections.

diff -r beeefbf6b7d7 -r ef5e07e42359 doc/misc/url.texi
--- a/doc/misc/url.texi	Sun Jun 15 02:26:41 2008 +0000
+++ b/doc/misc/url.texi	Sun Jun 15 02:27:05 2008 +0000
@@ -18,54 +18,38 @@
 * URL: (url).                 URL loading package.
 @end direntry
 
-@ifnottex
+@copying
 This file documents the URL loading package.
 
 Copyright @copyright{} 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2002,
 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 the
-Invariant Sections being
-``GNU GENERAL PUBLIC LICENSE''.  A copy of the
-license is included in the section entitled ``GNU Free Documentation
-License.''
-@end ifnottex
+any later version published by the Free Software Foundation; with no
+Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+Texts.  A copy of the license is included in the section entitled ``GNU
+Free Documentation License''.
+@end quotation
+@end copying
 
 @c
 @titlepage
-@sp 6
-@center @titlefont{URL}
-@center @titlefont{Programmer's Manual}
-@sp 4
-@center First Edition, URL Version 2.0
-@sp 1
-@c @center December 1999
-@sp 5
-@center William M. Perry
-@center @email{wmperry@@gnu.org}
-@center David Love
-@center @email{fx@@gnu.org}
+@title URL Programmer's Manual
+@subtitle First Edition, URL Version 2.0
+@author William M. Perry @email{wmperry@@gnu.org}
+@author David Love @email{fx@@gnu.org}
 @page
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2002,
-2003, 2004, 2005, 2006, 2007, 2008  Free Software Foundation, Inc.
+@insertcopying
+@end titlepage
 
-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 the
-Invariant Sections being
-``GNU GENERAL PUBLIC LICENSE''.  A copy of the
-license is included in the section entitled ``GNU Free Documentation
-License.''
-@end titlepage
 @page
 @node Top
 @top URL
 
 
-
 @menu
 * Getting Started::             Preparing your program to use URLs.
 * Retrieving URLs::             How to use this package to retrieve a URL.