diff options
Diffstat (limited to 'spec/Makefile')
| -rw-r--r-- | spec/Makefile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/spec/Makefile b/spec/Makefile index 8ba97cf9..3c762cd1 100644 --- a/spec/Makefile +++ b/spec/Makefile @@ -1,13 +1,10 @@ -SRC = spec.tex SPEC = spec.pdf all: $(SPEC) -$(SPEC) : $(SRC) - pdflatex -output-format=pdf spec.tex - pdflatex -output-format=pdf spec.tex - pdflatex -output-format=pdf spec.tex +spec.pdf: spec.md firrtl.xml spec-template.tex firrtl.xml ebnf.xml + pandoc $< --template spec-template.tex --syntax-definition firrtl.xml --syntax-definition ebnf.xml -r markdown+table_captions+inline_code_attributes+gfm_auto_identifiers --filter pandoc-crossref -o $@ clean: - rm -f *.aux *.log *.out *.toc + rm -f *.aux *.log *.out *.toc *.pdf |