From cbb2d1391b58e84f263fcc4dc9085aa5bb2b4588 Mon Sep 17 00:00:00 2001 From: Peter Hutterer Date: Fri, 28 Jun 2013 13:18:28 +1000 Subject: [PATCH] tools: add a tool to build and publish the documentation Signed-off-by: Peter Hutterer --- tools/publish-doc | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 tools/publish-doc diff --git a/tools/publish-doc b/tools/publish-doc new file mode 100755 index 0000000..66777ab --- /dev/null +++ b/tools/publish-doc @@ -0,0 +1,11 @@ +#!/bin/bash + +git checkout master +make +mv doc/html doc/publish +git checkout gh-pages +rm -rf doc/html +mv doc/publish doc/html +git add doc/html +git commit -asm "Documentation update for `git log -n 1 --format="format:%h" master`" +git checkout master -- 2.7.4