diff --git a/.gitattributes b/.gitattributes
index 7f6a5120c1..c9bbc2ae16 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -3,6 +3,10 @@
 # checkin. When the file has been committed with CRLF, no conversion is done.
 * text=auto
 
-*.ml linguist-generated
+
+# 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
 *.md linguist-documentation
 docs/** linguist-documentation
\ No newline at end of file