From 704753ef8a4946eb63e4980b70f7d958fe14302b Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 24 Jan 2015 21:16:29 -0800 Subject: Makefile: Removed spec- and website- related parts. --- Makefile | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/Makefile b/Makefile index 50057bf..90990b1 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3