tools: fix the publish-doc script
authorPeter Hutterer <peter.hutterer@who-t.net>
Fri, 13 Jun 2014 04:43:28 +0000 (14:43 +1000)
committerPeter Hutterer <peter.hutterer@who-t.net>
Mon, 16 Jun 2014 06:44:34 +0000 (16:44 +1000)
commit6fa0c9aa975a1cd1fa1a122bf160380cd00b9de2
tree08c690493e5ed1ea1bdaa0b79c6fdfe2399b4781
parent2e289b20266df9f0e2558366404aaf2833962fca
tools: fix the publish-doc script

Original script was broken, curse those last-minute changes before pushing

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
tools/publish-doc