ignore the new html docs stamp files