Ingoring the /doc/html directory.