diff --git a/web/Documentation.html b/web/Documentation.html index bb7adba13..b3041ac8d 100644 --- a/web/Documentation.html +++ b/web/Documentation.html @@ -4,73 +4,72 @@
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 no Front-Cover, and with no Back-Cover Texts. A copy of the +
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 no Front-Cover, and with no Back-Cover Texts. A copy of
+the
license is included in the section entitled “GNU Free Documentation
+ href="GnuCopyright.htm" target="_self">GNU Free Documentation
License”.
2007-08-01