diff doc/ChangeLog @ 3315:74e583414f34

[project @ 1999-10-21 23:45:56 by jwe]
author jwe
date Thu, 21 Oct 1999 23:45:56 +0000
parents d8d8fcbecc30
children ce3372c4cf0d
line wrap: on
line diff
--- a/doc/ChangeLog	Thu Oct 21 23:40:07 1999 +0000
+++ b/doc/ChangeLog	Thu Oct 21 23:45:56 1999 +0000
@@ -1,5 +1,8 @@
 1999-10-21  John W. Eaton  <jwe@bevo.che.wisc.edu>
 
+	* interpreter/Makefile.in (dist): Remove .texi files first, so
+	they will have timestamps newer than the $(DOCSTRINGS) files.
+
 	* interpreter/Map-s.cc: New file.
 	* interpreter/munge-texi.cc: Use old libg++ Map class instead of
 	STL map, for the benefit of systems that have assemblers that