From ed6524470a424b2f1af4bb4914d2160e05562edb Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 3 Feb 2014 16:38:21 +0000 Subject: [PATCH] realclean -> distclean --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 8512e00f5..b98002ef6 100755 --- a/Makefile.in +++ b/Makefile.in @@ -929,8 +929,8 @@ clean: clean_docs -realclean: clean realclean_docs - rm -f yap@EXEC_SUFFIX@ startup.yss libYap.* Makefile *.h config.log config.status config.cache +distclean: clean realclean_docs + rm -f yap@EXEC_SUFFIX@ startup.yss libYap.* Makefile */Makefile */*/Makefile */*defs */*/*/Makefile *.h config.* dist: