Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -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