Merge pull request #1434 from pcampr/patch-1
authorJeff Donahue <jeff.donahue@gmail.com>
Sat, 17 Jan 2015 23:59:11 +0000 (15:59 -0800)
committerJeff Donahue <jeff.donahue@gmail.com>
Sat, 17 Jan 2015 23:59:11 +0000 (15:59 -0800)
fixed filename in build_docs.sh


Trivial merge