+2001-09-21 Kai Gro\e,A_\e(Bjohann <Kai.Grossjohann@CS.Uni-Dortmund.DE>
+
+ * make.bat: Use parameter "/copy" rather than "copy" for increased
+ dwimishness for old-time DOS users.
+
+2001-09-18 22:00:00 ShengHuo ZHU <zsh@cs.rochester.edu>
+
+ * make-x.bat: New.
+
+2001-07-04 Yair Friedman <yairfr@Amdocs.com>
+
+ * make.bat: Use infohack.el to create info files.
+