Ignoring the /doc/html directory.