Copy documentation change log into Texinfo source tree.

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index e8cb44663b3e278876cb5055fd451651b0a49c57..67aec2019ad0ef109fc658acbc5af7df89195448 100755 (executable)
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: make-doc-files,v 1.12 2000/12/23 05:42:57 cph Exp $
+# $Id: make-doc-files,v 1.13 2000/12/24 04:04:01 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -63,6 +63,7 @@ done
     cd doc
     autoconf
 )
+${INSTALL_DATA} ${DOCDIR}/ChangeLog ${TLDIR}/doc/.
 find ${TLDIR} -type d -name CVS -print|xargs rm -rf
 make_tarfile texinfo