b3fdb1c935
Remove unnecessary old code from tools/build_docs.sh; it now only builds docs for the current branch in the current working directory. Fix the merging if the git log changes into changes.html. Change-Id: I965dc3383b6317807ca0d47fe42648a19e96b57b