ninja-build-doc: duplicate-files

