--- Makefile.ini.orig Thu Aug 3 06:08:20 2000 +++ Makefile.ini Thu Aug 3 06:08:40 2000 @@ -39,7 +39,7 @@ $(MAKE) $(MFLAGS) Makefiles $(MAKE) $(MFLAGS) clean $(MAKE) $(MFLAGS) includes - $(MAKE) $(MFLAGS) depend +# $(MAKE) $(MFLAGS) depend $(MAKE) $(MFLAGS) $(WORLDOPTS) @echo "" @date