Add HTML file to Makefile

Signed-off-by: Dscano <[email protected]>
p4lang · Jan 4, 2025 · 1a3a92f · 1a3a92f
1 parent 26abba9
commit 1a3a92f
Showing 1 changed file with 13 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -1,17 +1,26 @@
 SPEC=PNA
 ROUGE_STYLE=github
+ROUGE_CSS=style
 
-all: ${SPEC}.pdf
+all: ${SPEC}.pdf ${SPEC}.html
 
-${SPEC}.pdf: ${SPEC}.adoc
-	time asciidoctor-pdf -v \
+build:
+${SPEC}.pdf: ${SPEC}.adoc pna.p4
+	    time asciidoctor-pdf -v \
 		-r asciidoctor-mathematical \
 		-r asciidoctor-bibtex \
 		-a pdf-fontsdir=resources/fonts \
 		-a rouge-style=$(ROUGE_STYLE) $<
 
+${SPEC}.html: ${SPEC}.adoc pna.p4
+	time asciidoctor -v \
+	-r asciidoctor-mathematical \
+	-r asciidoctor-bibtex \
+	-a rouge-css=$(ROUGE_CSS) $<
+
+
 clean:
-	/bin/rm -f ${SPEC}.pdf 
+	/bin/rm -f ${SPEC}.pdf ${SPEC}.html
 
 P4C=p4test
 #P4C=p4test --Wdisable=uninitialized_out_param