summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-04-11 13:23:32 +0200
committerDavid Allsopp <david.allsopp@metastack.com>2018-06-30 16:43:32 +0100
commit546dd121cbd019d7b8ed795ae5ba69be02c9c0bf (patch)
treea718148d2c2a5f3d3a190562d09fb1f3358c7e2a /CONTRIBUTING.md
parent18bba745f3dca4d085069266ab650ca81a4e7d8b (diff)
downloadocaml-546dd121cbd019d7b8ed795ae5ba69be02c9c0bf.tar.gz
Supply a Git pre-commit hook for tools/check-typo
Automatically runs tools/check-typo and rejects the commit if they don't pass.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index aae6f0ad83..7cfbf6b217 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -68,6 +68,9 @@ columns, not use tab characters (spaces only), and not use non-ASCII
characters. These typographical rules can be checked with the script
`tools/check-typo`.
+If you are working from a Git clone, you can automate this process by
+copying the file `tools/pre-commit-githook` to `.git/hooks/pre-commit`.
+
Otherwise, there are no strongly enforced guidelines specific to the
compiler -- and, as a result, the style may differ in the different
parts of the compiler. The general [OCaml Programming