diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |