If Makefile wasn't yet created, it's possible that we may want to run the 'clean' target of Makefile.legacy to clean generated HTML docs.