Merge pull request #363 from pataei/main

Adding first draft of P4's abstract syntax to formalization doc

Author: pataei

docs/petr4spec/Makefile

@@ -1,15 +1,9 @@
 
 SPEC=Petr4-spec
 
-all: build/${SPEC}.pdf
-
-build/${SPEC}.pdf: ${SPEC}.mdk
-	madoko --pdf -vv --png --odir=build $<
-
-build/${SPEC}.pdf: grammar.mdk p4.json
 
 html: ${SPEC}.mdk grammar.mdk p4.json
-	madoko -vv --png --odir=build $<
+	madoko -vv  --odir=build $<
 
 clean:
 	${RM} -rf build