diff --git a/bin/parse_install_log b/bin/parse_install_log
index 26d5526df30f570f7b42b580b56dcda7e09af817..f17d797e6335cce185eb67ba5163a4a77d035ab1 100644
--- a/bin/parse_install_log
+++ b/bin/parse_install_log
@@ -72,7 +72,13 @@ int main(int argc, string *argv)
   mkdir(dirname+"/files");
   chmod(dirname+"/files",0755);
   
-  Process.system("cp "+srcdir+"/install-sh "+srcdir+"/../ANNOUNCE "+dirname);
+  Process.system("cp "+
+	srcdir+"/install-sh "+
+	srcdir+"/COPYING "+
+	srcdir+"/COPYRIGHT "+
+	srcdir+"/DISCLAIMER "+
+	srcdir+"/../ANNOUNCE "+
+	dirname);
   chmod(dirname+"/install-sh",0755);
 
   mapping new_install_from=([]);