diff dottes.html.tuneindex @ 492:a89eba8f6dd5

Ensure that web directory doesn't exist. I had a problem in a build with one web directory being created as a file.
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 14:13:28 +0100
parents a6a096bb279a
children afc031477784
line wrap: on
line diff