add Doc.java

[fleet.git] / Makefile

diff --git a/Makefile b/Makefile
index 29bdbf9..5af7ef1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -92,8 +92,11 @@ synth:
 #      $(xilinx)trce -intstyle ise -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
 
 
-doc: fleet.jar
-       $(java) $(cp) edu.berkeley.fleet.doc.Doc < ships/Alu2.ship
+manual: fleet.jar
+       $(java) -jar fleet.jar doc
+       cd .tmp; TEXINPUTS=$$TEXINPUTS:../doc/ pdflatex *.tex
+       open .tmp/*.pdf
+
 
 test:     fleet.jar; $(java) -jar fleet.jar             test tests/
 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test tests/