diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-21 16:53:40 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-21 16:53:40 -0700 |
| commit | a1100b640f2ed9469158cb0bc42f2f9bf288f917 (patch) | |
| tree | 4ffbe51b63f6eb2f23207a788e8a73083ee97a0c /doc | |
| parent | 4b9a4468238b96482478b3fabdfe6fb8cabb4fd6 (diff) | |
Move gh-pages management stuff to mk/gh-pages.mk
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/build.mk b/doc/build.mk index 8015747..f49f83c 100644 --- a/doc/build.mk +++ b/doc/build.mk @@ -80,6 +80,7 @@ $(gh-pages-dir)/manual: web-manual | pull-gh-pages $(call cmd,copydir) generate-docs: $(gh-pages-dir)/jsdoc + $(call commit,manual jsdoc,"update documentation") $(gh-pages-dir)/jsdoc: DIR := $(jsdoc-dir) $(gh-pages-dir)/jsdoc: $(jsdoc-dir)/index.html | pull-gh-pages |