From 620c3756a0c456e023045cb04b9d6b083415f4fd Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 24 Jan 2015 22:56:17 -0800 Subject: Removed website-specific stuff in Makefile. --- Makefile | 7 ------- 1 file changed, 7 deletions(-) diff --git a/Makefile b/Makefile index 2c9371f..f27cd4a 100644 --- a/Makefile +++ b/Makefile @@ -18,10 +18,3 @@ spec.pdf: spec.md tools/template.tex tools/specfilter.hs --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