12 fixed_points/fixed_points \
15 null_record/null_record \
23 all info install-info dvi install uninstall installcheck check:
24 @echo "Nothing to be done for $@..."
27 -find . -name '*.o' -print | xargs rm -f
28 -find . -name '*.ali' -print | xargs rm -f
29 -find . -name 'b~*.ad[sb]' -print | xargs rm -f
30 -rm -f *~ a.out xgdb *.x *.ci *.tmp
31 -rm -f *~ *.o a.out xgdb *.x *.ci *.tmp
32 -rm -f core core.coremaker coremaker.core corefile $(EXECUTABLES)
33 -rm -f $(MISCELLANEOUS) twice-tmp.c
35 distclean maintainer-clean realclean: clean
37 -rm -f Makefile config.status config.log
39 -rm -fr *.log summary detail *.plog *.sum *.psum site.*