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