1171 |
/**/# Do not use it on development directories! |
/**/# Do not use it on development directories! |
1172 |
distclean: clean |
distclean: clean |
1173 |
rm -f epaths.h config.h Makefile Makefile.c config.stamp stamp-oldxmenu ../etc/DOC-* |
rm -f epaths.h config.h Makefile Makefile.c config.stamp stamp-oldxmenu ../etc/DOC-* |
1174 |
|
mv ./.gdbinit ./.gdbinit.save |
1175 |
|
if test -f "${srcdir}/.gdbinit"; then rm -f ./.gdbinit.save; \ |
1176 |
|
else mv ./.gdbinit.save ./.gdbinit; fi |
1177 |
maintainer-clean: distclean |
maintainer-clean: distclean |
1178 |
@echo "This command is intended for maintainers to use;" |
@echo "This command is intended for maintainers to use;" |
1179 |
@echo "it deletes files that may require special tools to rebuild." |
@echo "it deletes files that may require special tools to rebuild." |