comparison debian/daily-build.sh @ 32430:1ab876dcf5d6

Make clean target even more robust and forcefully remove generated HTML docs if the DOCS/xml/Makefile fails.
author siretart
date Tue, 19 Oct 2010 12:55:59 +0000
parents 76854194b09e
children 1522fac67d56
comparison
equal deleted inserted replaced
32429:ac882481e5bb 32430:1ab876dcf5d6