Permalink
Browse files

docbook-manual-repo.py: added print statements to improve logging

  • Loading branch information...
1 parent e0ba658 commit de0d852e87cbd2badb8f37e1d396a88855a48904 @dregad dregad committed May 19, 2013
Showing with 3 additions and 0 deletions.
  1. +3 −0 docbook-manual-repo.py
View
@@ -97,6 +97,7 @@ def main():
languages = args[2:]
# Update repo from default remote
+ print "Updating repository in '%s' from default remote" % repo
os.chdir(repo)
os.system('git fetch')
os.system('git remote prune origin')
@@ -115,6 +116,8 @@ def main():
# For each ref, checkout and call docbook-manual.py, tracking last build timestamp
# to prevent building a manual if there have been no commits since last build
for ref in refs:
+ print "Generating documentation for '%s'" % ref
+
manualpath = installroot.rstrip('/') + '/' + refnameregex.search( ref ).group(1)
os.system('git checkout -f %s'%(ref))

0 comments on commit de0d852

Please sign in to comment.