Modify to include COPYING file containing text of FDL.

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index 0080c6ca116629b10ebac88b4caaee99d929b326..743cc0157bf2d2919746418340af46c2dc8fd7eb 100755 (executable)
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -55,6 +55,6 @@ chmod 444 ${zipfile}
 
 rm -rf doc-html
 mkdir doc-html
-mv ${tldir}/*.html doc-html
+mv ${tldir}/COPYING ${tldir}/*.html doc-html
 
 rm -rf ${prefix}