Merge pull request #887 from stefanv/docs/gh-pages

Fix gh-pages in doc build for latest Git

doc/gh-pages.py

@@ -125,7 +125,7 @@ if __name__ == '__main__':
         sh("touch .nojekyll")
         sh('git add .nojekyll')
         sh('git add index.html')
-        sh('git add %s' % tag)
+        sh('git add --all %s' % tag)
         sh2('git commit -m"Updated doc release: %s"' % tag)
 
         print('Most recent commit:')