From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 6 Feb 2004 17:11:59 +0000 (+0000)
Subject: use ledit for debugging
X-Git-Tag: V_0_2_3~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=67eafee21527f29a9b26fd1a7c518e0b49c24bf5;p=helm.git

use ledit for debugging
---

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 3175bbea7..4017367da 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -133,7 +133,7 @@ debug:
 	echo "install_printer CicMetaSubst.fppsubst" >> .debug_script
 	echo "install_printer CicMetaSubst.fppterm" >> .debug_script
 	echo "install_printer CicMetaSubst.fppmetasenv" >> .debug_script
-	$(OCAMLDEBUG) \
+	ledit $(OCAMLDEBUG) \
 		-source .debug_script \
 		$(shell $(OCAMLFIND) query -recursive -i-format $(REQUIRES)) \
 		$(MAIN) $(ARGS)