doc: Add generate_git.sh, which updates the checked-in generated docs

doc/support/generate_git.sh

 #!/bin/sh
 
 # Copyright 2015 The Crashpad Authors. All rights reserved.
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
 # you may not use this file except in compliance with the License.
 # You may obtain a copy of the License at
 #
 #     http://www.apache.org/licenses/LICENSE-2.0
 #
 # Unless required by applicable law or agreed to in writing, software
 # distributed under the License is distributed on an "AS IS" BASIS,
 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
 set -e
 
-# Generating Doxygen documentation requires Doxygen, http://www.doxygen.org/.
-
 # Run from the Crashpad project root directory.
 cd "$(dirname "${0}")/../.."
 
-output_dir=out/doc/doxygen
+local_branch=doctmp
+remote_master_name=master
+remote_master_branch="origin/${remote_master_name}"
+remote_doc_name=doc
+remote_doc_branch="origin/${remote_doc_name}"
+git fetch
+git checkout -b "${local_branch}" "${remote_doc_branch}"
+master_hash=$(git rev-parse "${remote_master_branch}")
+git merge "${remote_master_branch}" -m "Merge ${remote_master_name} ${master_hash} into doc"
+doc/support/generate.sh
+git add -A doc/generated
+git commit -m "Update documentation to ${remote_master_name} ${master_hash}"

[agable, 2015/10/08 22:22:03]

might want to use the short form (7 or 8 characters) of the hash in the commit
message.

 
-rm -rf "${output_dir}"
-mkdir -p "${output_dir}"
+git push origin "HEAD:${remote_doc_name}"
 
-doxygen doc/support/crashpad.doxy
+# TODO(mark): switch back to the original branch

[agable, 2015/10/08 22:22:03]

and the original directory

[Mark Mentovai, 2015/10/08 22:42:40]

agable wrote:
Why? The script’s done here. cd doesn’t bubble out to the parent (unless someone
wanted to source this script).

[agable, 2015/10/08 22:53:53]

Exactly. I don't trust bash to not get reused eventually and sourced by someone
who is moving too fast and not paying attention. It's pretty easy to clean up
after oneself, so I think it's advisable to do so even when not strictly
necessary.