#
# Maintenance
#
+# We used to delete *~ here, but that might inadvertently remove
+# precious files if it happens to match their short 8+3 aliases.
clean:
- - $(DEL) *~ DOC* $(COMPILER_TEMP_FILES)
+ - $(DEL) DOC* $(COMPILER_TEMP_FILES)
- $(DEL) ctags.c
- $(DEL) getopt.h
- $(DEL_TREE) $(OBJDIR)