+

diff --git a/doc/documentation/index.html b/doc/documentation/index.html
index 4979adadba4e68921d79892fc048698f8633ddf3..9a9a118e3c98dc582c9d83fee8c4d6c44b3d486e 100644 (file)
--- a/doc/documentation/index.html
+++ b/doc/documentation/index.html
@@ -40,7 +40,8 @@
     <a rel="license"
        href="http://creativecommons.org/licenses/by-nd/4.0/">
       Creative Commons Attribution-NoDerivatives 4.0 International License
-    </a>.
+    </a>. Individual Manuals are licensed under the licenses mentioned within
+    the books (GNU Free Documentation License, GNU General Public License).
   </p>
 
 </div>