delete superfluous html file