Skip to content
Browse files

tweaks toward more happiness

  • Loading branch information...
1 parent 6e0f972 commit 2217134b6604148ad0fffcafa5d703b500b35b01 @prior prior committed Jul 13, 2012
Showing with 5 additions and 3 deletions.
  1. +5 −3 publish_docs.py
View
8 publish_docs.py
@@ -13,10 +13,12 @@ def call(args):
call(['git', 'checkout', 'master'])
call(['cd', 'docs'])
call(['make', 'html'])
-call(['cp', '-R', '_build/html', '/tmp/sanetime_docs_html'])
-call(['cd', '..'])
+call(['rm', '-rf', '/tmp/docs_html'])
+call(['cp', '-R', '_build/html', '/tmp/docs_html'])
+call(['cd', '$(git rev-parse --show-toplevel)'])
call(['git', 'checkout', 'gh-pages'])
-call(['cp', '-r', '/tmp/sanetime_docs_html', '.'])
+call(['rm', '-rf', '*'])
+call(['cp', '-R', '/tmp/docs_html/*', '.'])
call(['git', 'add', '.'])
call(['git', 'commit', '-a', '-v'])
call(['git', 'push'])

0 comments on commit 2217134

Please sign in to comment.
Something went wrong with that request. Please try again.