summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-09-01 07:57:31 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-09-01 07:57:31 -0700
commit2fc4083cbaf57e2afbcd85306f11e58a59bf8ab3 (patch)
tree51f4f4e6c160a534d27e3340573f099596abc53d /Makefile
parent7ac6d3796b19beccf575ea6e3e6c66673561d9e6 (diff)
Updated update-site target.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index c40b226..ee3c204 100644
--- a/Makefile
+++ b/Makefile
@@ -66,10 +66,7 @@ update-site: spec.html narrative.html
cp spec.html _site/
cp narrative.html _site/index.html
cp -r js/* _site/js/
- cd _site
- git commit -a -m "Updated site for latest spec, narrative, js"
- git push
- cd ..
+ (cd _site ; git commit -a -m "Updated site for latest spec, narrative, js" ; git push; cd ..)
clean:
-rm test $(SRCDIR)/*.o $(SRCDIR)/scanners.c