From 1c35167c3aca50478fe3d7535be7508a4acc90fd Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 5 Sep 2019 17:34:47 -0700
Subject: Small cleanups in Makefile.

---
 CONTRIBUTING.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 4cb355d03..4b8214a0e 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -210,10 +210,9 @@ With stack:
 
     stack bench
 
-You can also build pandoc with the `weigh-pandoc` flag and
-run `weigh-pandoc` to get some statistics on memory usage.
-(Eventually this should be incorporated into the benchmark
-suite.)
+You can also build `weigh-pandoc` (`stack build pandoc:weigh-pandoc`)
+to get some statistics on memory usage.  (Eventually this should
+be incorporated into the benchmark suite.)
 
 Using the REPL
 --------------
-- 
cgit v1.2.3