summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-12-10 23:41:20 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-01-25 17:07:41 +0100
commit73f373660278d9283499951f7a16c0dc2d79ef08 (patch)
treebeea4388fc617ef5ca80febb102fdeec0cb91371 /CONTRIBUTING.md
parenta66c1bf88e511b73c6237bf6e85b57c5756321b7 (diff)
CONTRIBUTING: instructions for building weigh-pandoc.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 1ad400b3a..9feb0b6a0 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -176,6 +176,11 @@ 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.)
+
Using the REPL
--------------