From af2742a9ccfacc033b060eea067130997539ce10 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 10 Dec 2016 22:29:30 +0100
Subject: [PATCH] Removed PROFILING, added profiling info to CONTRIBUTING.md.

---
 CONTRIBUTING.md | 17 +++++++++++++++++
 PROFILING       |  6 ------
 2 files changed, 17 insertions(+), 6 deletions(-)
 delete mode 100644 PROFILING

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