diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:16:29 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:16:29 -0800 |
| commit | 704753ef8a4946eb63e4980b70f7d958fe14302b (patch) | |
| tree | a432754379e716931464b0bd8d74dd24f6886ab8 /Makefile | |
| parent | 9fb444cfffefe51967ae93b2dcca5ac2dd283abd (diff) | |
Makefile: Removed spec- and website- related parts.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
@@ -127,27 +127,4 @@ operf: $(CMARK) distclean: clean -rm -rf *.dSYM -rm -f README.html - -rm -f spec.md fuzz.txt spec.html -rm -rf $(BENCHFILE) $(ALLTESTS) progit - -### Spec ### - -spec.md: $(SPEC) - python3 tools/makespec.py markdown > $@ - -spec.html: spec.txt tools/template.html ${CMARK} - python3 tools/makespec.py html > $@ - -spec.pdf: spec.md tools/template.tex tools/specfilter.hs - pandoc -s $< --template tools/template.tex \ - --filter tools/specfilter.hs -o $@ --latex-engine=xelatex --toc \ - --number-sections -V documentclass=report -V tocdepth=2 \ - -V classoption=twosides - -### Website ### - -update-site: spec - make -C $(SITE) update - -upload-site: spec - make -C $(SITE) upload |