diff web/index.html @ 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 (2014-06-17)
parents ae0836b5f4dd
children dfeb781e5196
line wrap: on
line diff