tree 717795277ab8b9fb360c022ac46ec6b7eea171d7
parent 9bfdea87a6ceea667a3c674215099ce8a967a3c2
author Dean Troyer <dtroyer@gmail.com> 1416249909 -0600
committer Dean Troyer <dtroyer@gmail.com> 1416249912 -0600

Simplify docs build

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