From 795f36aeb040b7eec78a58c2e19391bfb79b4f11 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Fri, 20 Dec 2019 20:37:03 +1000
Subject: [PATCH] add comment about pretty to makefile

---
 Makefile            | 2 +-
 README.contributing | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 33bb783f0..6224fe189 100644
--- a/Makefile
+++ b/Makefile
@@ -153,7 +153,7 @@ fixpyimports:
 TSCHECKDEPS := $(BUILDDEPS) $(TSDEPS)
 
 .build/checkpretty: $(TSCHECKDEPS)
-	(cd ts && npm run check-pretty)
+	(cd ts && npm run check-pretty) # if this fails, run 'make pretty'
 	touch $@
 
 .build/pretty: $(TSCHECKDEPS)
diff --git a/README.contributing b/README.contributing
index 22db0abcc..4c1dde4a0 100644
--- a/README.contributing
+++ b/README.contributing
@@ -51,9 +51,6 @@ Please make sure 'make check' completes successfully before submitting code.
 If your change is to anki/ and not covered by the existing unit tests, please
 consider adding a unit test at the same time.
 
-If 'make check' fails because the JS styling doesn't match, you can run
-'make pretty' to automatically adjust the styling.
-
 Do One Thing
 -------------