aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CONTRIBUTING.md17
-rw-r--r--PROFILING6
2 files changed, 17 insertions, 6 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index d9c95702e..1ad400b3a 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -193,6 +193,23 @@ placed in the source directory):
:set -XOverloadedStrings
```
+Profiling
+---------
+
+To use the GHC profiler with cabal:
+
+ cabal clean
+ cabal install --enable-library-profiling --enable-executable-profiling
+ pandoc +RTS -p -RTS [file]...
+ less pandoc.prof
+
+With stack:
+
+ stack clean
+ stack install --profile
+ pandoc +RTS -p -RTS [file]...
+ less pandoc.prof
+
The code
--------
diff --git a/PROFILING b/PROFILING
deleted file mode 100644
index 73e2dc5c2..000000000
--- a/PROFILING
+++ /dev/null
@@ -1,6 +0,0 @@
-To use the GHC profiler:
-
-cabal clean
-cabal install --enable-library-profiling --enable-executable-profiling
-pandoc +RTS -p -RTS [file]...
-less pandoc.prof