diff dottes.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
parents ae0836b5f4dd
children af814cd756e8
line wrap: on
line diff