diff options
-rw-r--r-- | otherlibs/labltk/camltk/Makefile | 1 | ||||
-rw-r--r-- | otherlibs/labltk/labltk/Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/labltk/camltk/Makefile b/otherlibs/labltk/camltk/Makefile index afa6f3af2..b00ed91e2 100644 --- a/otherlibs/labltk/camltk/Makefile +++ b/otherlibs/labltk/camltk/Makefile @@ -19,6 +19,7 @@ camltkobjsx: $(CAMLTKOBJSX) clean: $(MAKE) -f Makefile.gen clean + -rm -f .depend install: $(CAMLTKOBJS) if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi diff --git a/otherlibs/labltk/labltk/Makefile b/otherlibs/labltk/labltk/Makefile index 53276dd16..542d350bd 100644 --- a/otherlibs/labltk/labltk/Makefile +++ b/otherlibs/labltk/labltk/Makefile @@ -27,6 +27,7 @@ installopt: $(LABLTKOBJSX) clean: $(MAKE) -f Makefile.gen clean + -rm -f .depend .SUFFIXES : .SUFFIXES : .mli .ml .cmi .cmx .cmo .mlp |