diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 22:56:17 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 22:56:17 -0800 |
| commit | 620c3756a0c456e023045cb04b9d6b083415f4fd (patch) | |
| tree | a1332e3f36f33504681bde700cb1c7b4185374a8 | |
| parent | 9584c98612fcd797a67a0a1cbf0dff702dd0114d (diff) | |
Removed website-specific stuff in Makefile.
| -rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -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 |