1 files changed, 1 insertions, 0 deletions
diff --git a/HACKING.md b/HACKING.md
index 8783b0e..a21b577 100644
--- a/HACKING.md
+++ b/HACKING.md
@@ -5,6 +5,7 @@ Here's the gist:
  /out/ : where the generated output goes
  Makefile : invoke /bin/ as appropriate
  git-setup : set up git hooks (see below)
+ benchmark : see which files take longer to generate
 
 The web server should serve the union of /src/ and /out/.