diff doc/ChangeLog @ 3316:ce3372c4cf0d

[project @ 1999-10-21 23:58:37 by jwe]
author jwe
date Thu, 21 Oct 1999 23:58:38 +0000
parents 74e583414f34
children fac05a83b4c5
line wrap: on
line diff
--- a/doc/ChangeLog	Thu Oct 21 23:45:56 1999 +0000
+++ b/doc/ChangeLog	Thu Oct 21 23:58:38 1999 +0000
@@ -2,6 +2,7 @@
 
 	* interpreter/Makefile.in (dist): Remove .texi files first, so
 	they will have timestamps newer than the $(DOCSTRINGS) files.
+	(%.texi : %.txi): Use mv instead of move-if-change.
 
 	* interpreter/Map-s.cc: New file.
 	* interpreter/munge-texi.cc: Use old libg++ Map class instead of