From b5f3dd4ea60fc30192b8cc2f80e51dfea2029c18 Mon Sep 17 00:00:00 2001
From: Robert Konigsberg <konigsberg@dhcp-172-26-92-53.nyc.corp.google.com>
Date: Mon, 14 Mar 2011 12:50:07 -0400
Subject: [PATCH] Update documentation, include anchors for each option.

---
 generate-documentation.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generate-documentation.py b/generate-documentation.py
index 3e88088..155393b 100755
--- a/generate-documentation.py
+++ b/generate-documentation.py
@@ -138,7 +138,7 @@ for label in sorted(labels):
     if not opt['description']: opt['description'] = '(missing)'
 
     print """
-  <p class='option'><b>%(name)s</b><br/>
+  <p class='option'><a name="%(name)s"/><b>%(name)s</b><br/>
   %(desc)s<br/>
   <i>Type: %(type)s<br/>
   Default: %(default)s</i><br/>
-- 
2.7.4