From 77a56584c8bb55c9958fab8150a343ffdf2e74d7 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 11 Jan 2014 21:46:04 -0800 Subject: [PATCH] site: rename *site rules to site* --- Makefile | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/Makefile b/Makefile index 2eaa552b3..95253c6cf 100644 --- a/Makefile +++ b/Makefile @@ -563,21 +563,21 @@ docs: site codedocs site: site/site cd site; ./site build -cleansite: site/site cleanolddocs - cd site; ./site clean - -previewsite: site/site - cd site; ./site preview - site/site: site/site.hs olddocs cd site; $(GHC) site.hs $(PREFERMACUSRLIBFLAGS) +siteclean: site/site cleanolddocs + cd site; ./site clean + +sitepreview: site/site + cd site; ./site preview + +siteview: site + $(VIEWHTML) site/_site/index.html + autosite: cd site; $(AUTOBUILD) site.hs -o site $(PREFERMACUSRLIBFLAGS) --run preview -viewsite: site - $(VIEWHTML) site/_site/index.html - # ensure some old doc versions are in place: olddocs: site/0.22 site/0.21 #site/0.20 site/0.19 site/0.18