1078 - better line numbers

Skip tangle comments inside tangle rather than in the makefile.

1 files changed, 1 insertions, 1 deletions

diff --git a/cpp/makefile b/cpp/makefile
index b062b288..c9fd139f 100644
--- a/cpp/makefile
+++ b/cpp/makefile
@@ -4,7 +4,7 @@ mu: makefile enumerate/enumerate tangle/tangle mu.cc
 # To see what the program looks like after all layers have been applied, read
 # mu.cc
 mu.cc: 0*
-	./tangle/tangle $$(./enumerate/enumerate --until 999 |grep -v '.mu$$') |grep -v "^\s*//:" > mu.cc
+	./tangle/tangle $$(./enumerate/enumerate --until 999 |grep -v '.mu$$') > mu.cc
 	cat $$(./enumerate/enumerate --until 999 |grep '.mu$$') > core.mu
 	@make autogenerated_lists >/dev/null