From 1fc4de69ed024e18b88cb6f040021630599de2f7 Mon Sep 17 00:00:00 2001 From: Sylvain Gugger <35901082+sgugger@users.noreply.github.com> Date: Tue, 29 Sep 2020 03:56:57 -0400 Subject: [PATCH] Document new features of make fixup (#7434) --- CONTRIBUTING.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 857f351695..e06b759512 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -176,13 +176,14 @@ Follow these steps to start contributing: ```bash $ make quality ``` - You can do the automatic style corrections and code verifications that can't be automated in one go: ```bash $ make fixup ``` + This target is also optimized to only work with files modified by the PR you're working on. + If you're modifying documents under `docs/source`, make sure to validate that they can still be built. This check also runs in CI. To run a local check make sure you have installed the documentation builder requirements, by