Remove compiled HTML documentation