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)
commit6925de1c2edc11e07ccb15fc03c60cadf4607955
tree572bcf90a515e5fee9326dc4a4192a96f7c75c2c
parent1f9bcf2957c01fe243406f5814129b70f2e28aa2
parent51a09de81d10714d0d1a03e4eab028e994cb82e1
Merge pull request #1434 from pcampr/patch-1

fixed filename in build_docs.sh