It was not possible to run make test after make documentation, because the documentation contained the word "delete".
Authored by: debug 2010-01-31
Parent: [r5655]
Child: [r5657]
