diff --git a/documentation/index.html b/documentation/index.html
index 8a4cf8cb2..001b9e627 100644
--- a/documentation/index.html
+++ b/documentation/index.html
@@ -19,9 +19,14 @@
 
 <TABLE BGCOLOR="#9f9f9f" CELLPADDING="8" CELLSPACING="0" SUMMARY="TITLE BAR" WIDTH="700">
 <TR>
-	<TD ALIGN="CENTER"><B>This software and manual are
+	<TD ALIGN="CENTER">
+        <B>This software and manual are
 	provided under the terms of the GNU Library General
-	Public License.</B></TD>
+	Public License.
+        Permission is granted to reproduce this manual or any portion 
+        for any purpose, provided this copyright and permission notice 
+        are preserved.</B>
+	</TD>
 </TR>
 </TABLE>