From ea910bfa63d0a78d4dde760c7aa9ac540a15bac8 Mon Sep 17 00:00:00 2001
From: Robert Konigsberg <konigsberg@google.com>
Date: Thu, 9 Jun 2011 16:42:47 -0400
Subject: [PATCH] Clarify role of generate-documentation.py

---
 generate-documentation.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/generate-documentation.py b/generate-documentation.py
index 056de06..2f91503 100755
--- a/generate-documentation.py
+++ b/generate-documentation.py
@@ -1,4 +1,7 @@
 #!/usr/bin/python
+
+# Generate docs/options.html
+
 import json
 import glob
 import re
-- 
2.7.4