diff -r a63cef252656 -r cd56b9c11492 doc-docbook/html/x140.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-docbook/html/x140.html Thu Feb 05 17:35:42 2004 +0000 @@ -0,0 +1,157 @@ + +
You may make a collection consisting of the Document and other +documents released under this License, and replace the individual copies +of this License in the various documents with a single copy that is +included in the collection, provided that you follow the rules of this +License for verbatim copying of each of the documents in all other +respects.
You may extract a single document from such a collection, and +distribute it individually under this License, provided you insert a +copy of this License into the extracted document, and follow this +License in all other respects regarding verbatim copying of that +document.