diff options
Diffstat (limited to 'PROFILING')
| -rw-r--r-- | PROFILING | 6 |
1 files changed, 0 insertions, 6 deletions
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 |