From c7b543e79b41d9a983cc89e264acd0472d09dc92 Mon Sep 17 00:00:00 2001
From: mitchell <70453897+667e-11@users.noreply.github.com>
Date: Tue, 30 Nov 2010 19:55:39 -0500
Subject: New manual.

---
 scripts/update_doc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/update_doc b/scripts/update_doc
index 8f9ee6c0..b2fcfbdf 100755
--- a/scripts/update_doc
+++ b/scripts/update_doc
@@ -105,7 +105,13 @@ for mdfile in p:lines() do
   html = html:gsub('%%sidebar%%', sidebar_md:read('*all'))
   sidebar_md:close()
   local content_md = io.popen('../doc/Markdown.pl '..mdfile)
-  html = html:gsub('%%content%%', content_md:read('*all'))
+  local md = content_md:read('*all'):gsub('%%', '%%%%')
+  md = md:gsub('(<h%d>)([^<]+)(</h%d>)',
+               function(s, text, e)
+                 return string.format('%s<a name="%s"></a>%s%s', s,
+                                      text:gsub(' ', '_'):lower(), text, e)
+               end)
+  html = html:gsub('%%content%%', md)
   content_md:close()
 
   local f = io.open(htmlfile, 'w')
-- 
cgit v1.2.3