diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-09-01 07:57:31 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-09-01 07:57:31 -0700 |
commit | 2fc4083cbaf57e2afbcd85306f11e58a59bf8ab3 (patch) | |
tree | 51f4f4e6c160a534d27e3340573f099596abc53d /Makefile | |
parent | 7ac6d3796b19beccf575ea6e3e6c66673561d9e6 (diff) |
Updated update-site target.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -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 |