diff options
Diffstat (limited to 'spec/Makefile')
| -rw-r--r-- | spec/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/spec/Makefile b/spec/Makefile deleted file mode 100644 index 3c762cd1..00000000 --- a/spec/Makefile +++ /dev/null @@ -1,10 +0,0 @@ - -SPEC = spec.pdf - -all: $(SPEC) - -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 *.pdf |