]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/Makefile.in
last update was a fake update!!!
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
index bc875865f3265a8f3fd5e1fe3a8a2f916c8c5aa5..7dfbb1e161b53971a8c889fad07c4dbab5bf9465 100644 (file)
@@ -114,6 +114,5 @@ clean:
 
 distclean: clean
        rm -f configure config.cache config.status config.log Makefile 
-       cd $(TESTDIR); make distclean
        
 include .depend