Fix DISTCLEANFILES in docs - generated files should be cleaned.