From dfcc5b997ce9c313b9ac0e7d8da39c4416b472a8 Mon Sep 17 00:00:00 2001 From: rtm Date: Tue, 29 Aug 2006 19:06:37 +0000 Subject: prune unneeded panics and debug output --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1084c20..b7828dd 100644 --- a/Makefile +++ b/Makefile @@ -70,7 +70,7 @@ PRINT = \ string.c\ print: $(PRINT) -// ~/src/lgrind/source/lgrind -d ~/src/lgrind/lgrindef $(PRINT) > xv6.tex + //~/src/lgrind/source/lgrind -d ~/src/lgrind/lgrindef $(PRINT) > xv6.tex lgrind $(PRINT) > xv6.tex latex xv6.tex dvips -o xv61.ps xv6.dvi -- cgit v1.2.3