From a1100b640f2ed9469158cb0bc42f2f9bf288f917 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 21 Jun 2013 16:53:40 -0700
Subject: Move gh-pages management stuff to mk/gh-pages.mk

---
 doc/build.mk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

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
-- 
cgit v1.2.3