make publish will now push the changes to GitHub.

ooc-lang · Nov 27, 2011 · 9c8c0e0 · 9c8c0e0
1 parent fef50a7
commit 9c8c0e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -55,6 +55,7 @@ publish:
 	@cp $(BUILD_DIR)/index.html ./
 	@git add .
 	@git commit -m "Update the documentation."
+	@git push origin gh-pages
 
 clean:
 	@rm -rf $(TEMP_DIR) $(BUILD_DIR)