diff src/ChangeLog @ 4299:02fcb550f20c

[project @ 2003-01-16 20:15:14 by jwe]
author jwe
date Thu, 16 Jan 2003 20:15:15 +0000
parents 055d2f68d445
children a370ad9112dd
line wrap: on
line diff
--- a/src/ChangeLog	Mon Jan 13 15:10:39 2003 +0000
+++ b/src/ChangeLog	Thu Jan 16 20:15:15 2003 +0000
@@ -1,3 +1,12 @@
+2003-01-16  Mumit Khan  <khan@nanotech.wisc.edu>
+
+	* mk-oct-links: Use $SED if set.
+	* mkbuiltins: Likewise.
+	* mkdefs: Likewise.
+	* mkdocs: Likewise.
+	* mkgendoc: Likewise.
+	* mkops: Likewise.
+
 2003-01-11  Paul Kienzle <pkienzle@users.sf.net>
 
 	* Makefile.in (gendoc$(BUILD_EXEEXT)): Pass $(BUILD_CXXFLAGS) and