diff -r 6c68d44a9151 -r a18236e7b4ce libInit.cc
--- a/libInit.cc	Wed Sep 22 21:09:36 1999 +0200
+++ b/libInit.cc	Thu Sep 23 09:00:28 1999 +0200
@@ -1,6 +1,6 @@
 /*
  * DO NOT EDIT 
- * automatically generated from Make.proto
+ * automatically generated from Make.proto (by make libInit.cc)
  */
 #define __INDIRECTVMINITCALLS__
 #include <stc.h>