diff --git a/.gitattributes b/.gitattributes index 09c43c1c0d..bac26af878 100644 --- a/.gitattributes +++ b/.gitattributes @@ -3,5 +3,15 @@ # checkin. When the file has been committed with CRLF, no conversion is done. * text=auto + +# Mark generated code and documentation as such to exclude them from PR diffs and stats. +# More information: https://github.com/github-linguist/linguist/blob/master/docs/overrides.md#generated-code +src/haz3lweb/Init.ml linguist-generated +src/haz3lweb/exercises/**/*.ml linguist-generated + hazel.opam linguist-generated -hazel.opam.locked linguist-generated \ No newline at end of file +hazel.opam.locked linguist-generated + +*.md linguist-documentation +docs/** linguist-documentation +