From 6c7399cdaa311b60b6adfc7ef001253340ad7785 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 17 Jul 2026 13:02:00 +0000 Subject: [PATCH] build: mark GenDoc's generated catalog as linguist-generated Collapse doc/generated/gendoc/** in pull-request diffs and drop it from the repository's language statistics: the tree is produced by the gendoc-docs workflow, so a reviewer reads errors-diff.md rather than the regenerated pages. Scoped to the gendoc output; the handwritten doc/generated/README.md one level up is untouched. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_0148FgVG3MkKn2kudM2TkmGa --- .gitattributes | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.gitattributes b/.gitattributes index 1f1e4b9..d3ecc1a 100644 --- a/.gitattributes +++ b/.gitattributes @@ -7,3 +7,11 @@ # leaves line-ending/charset handling untouched on purpose (see .editorconfig). *.verified.* text eol=lf *.received.* text eol=lf + +# GenDoc's own error catalog is produced by CI (the gendoc-docs workflow runs +# `fce generate` / `fce catalog` and commits the result); see doc/generated/README.md. +# Mark the whole output tree as generated so GitHub collapses it in pull-request diffs +# — a reviewer reads errors-diff.md, not 19 regenerated pages line by line — and drops +# it from the repository's language statistics. Scoped to the gendoc/ output only: the +# handwritten doc/generated/README.md sits one level up and is untouched. +doc/generated/gendoc/** linguist-generated=true