Changes by: justins (justins at unknown.email)
Date: 2003-04-24 19:31:09 -0700 (Thu, 24 Apr 2003)
Revision: 47
Log message:

      If Makefile changed, then we probably re-ran configure. If we re-ran
      configure, then we *definitely* need to rebuild omake_magic.ml.
      

Changes	Path
+1 -1	omake/Makefile.in