Partial revert of 7b34eac90f81c8123feaf2670fafae236101f14c.

Look folks, don't screw with the texinfo macros unless you really,
really test it before pushing.  These things are stupidly finicky
at the best of times.  Also, take it step by step.  Don't change a
whole bunch of things at once, because when (not if) it breaks
it's much harder to figure out how to fix it.

diff --git a/Documentation/web.texi b/Documentation/web.texi
index ab2421da1bda888545d7fb1e3befffd23a833c76..a8f99ee7e1b0dab810686a47c002d40275b45733 100644 (file)
--- a/Documentation/web.texi
+++ b/Documentation/web.texi
@@ -13,14 +13,16 @@
 @afourpaper
 
 @c `Web' was imported 2009-08-05 with git commit b938d71...
-@macro copyrightDeclare
-Copyright @copyright{} 2009 by the authors.
-@end macro
+@c @macro copyrightDeclare
+@c Copyright @copyright{} 2009 by the authors.
+@c @end macro
 
 @set FDL
 @set web
 @include macros.itexi
 
+@afourpaper
+
 @c don't remove this comment.
 @ignore
 @omfcreator Graham Percival and Patrick McCarty
@@ -30,6 +32,20 @@ Copyright @copyright{} 2009 by the authors.
 @omflanguage English
 @end ignore
 
+@copying
+Copyright @copyright{} 2009 by the authors.
+
+@quotation
+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 no Invariant Sections.  A copy of the license is
+included in the section entitled ``GNU Free Documentation
+License''.
+@end quotation
+@end copying
+
+
 @c TITLE PAGE
 @ifnottex
 @node Top