summaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/index.html9
1 files changed, 7 insertions, 2 deletions
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>