diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-05 17:34:47 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-05 17:34:47 -0700 |
commit | 1c35167c3aca50478fe3d7535be7508a4acc90fd (patch) | |
tree | 56c8d65559b7a40dd2c129d99cfdfd3b97c29ebc /CONTRIBUTING.md | |
parent | 4559bc257bd9a6e4ca626e64b33aeb35fab72215 (diff) | |
download | pandoc-1c35167c3aca50478fe3d7535be7508a4acc90fd.tar.gz |
Small cleanups in Makefile.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 7 |
1 files changed, 3 insertions, 4 deletions
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 -------------- |