diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 11:04:29 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 11:04:29 -0700 |
| commit | be6f518925a5d294e4a9a418f5e5d70fe91b96cb (patch) | |
| tree | 173a2b422f5a76015d8d441042f3cc0d7a03e73f | |
| parent | 5d62d4af084d481eca37f66d99586a9712d56b7d (diff) | |
Added update-site target to Makefile.
This assumes we've checked out the gh-pages branch as _site.
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -59,10 +59,16 @@ fuzztest: for i in `seq 1 10`; do \ time cat /dev/urandom | head -c 100000 | iconv -f latin1 -t utf-8 | $(PROG) >/dev/null; done +update-site: README.html spec.html + cp README.html _site/index.html + cp spec.html _site/ + cp -r js/* _site/js/* + upload: spec.html spec.pdf scp spec.html spec.pdf js/stmd.js js/index.html website:html/markdown/ clean: -rm test $(SRCDIR)/*.o $(SRCDIR)/scanners.c -rm -r *.dSYM + -rm README.html -rm spec.md fuzz.txt spec.html |