Thomas Haller 8aca21de41 tools: fix building doc in build_release.sh
Fixes: 3b2071e970995a9a22d46457e60a762161b46231
2017-05-03 12:00:12 +02:00
..