diff --git a/doc/contribute.html b/doc/contribute.html index 388016fac0d2c..256b708e130e8 100644 --- a/doc/contribute.html +++ b/doc/contribute.html @@ -73,7 +73,7 @@
The rest of this chapter elaborates on these instructions. If you have completed the steps above (either manually or through the tool), jump to -Making a change. +Before contributing code.