Use new TOC extension in python markdown

karakalo · Feb 10, 2013 · 20240db · 20240db
1 parent bf5a4ab
commit 20240db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/make-html b/doc/make-html
@@ -55,7 +55,7 @@ mdata = mfile.read ()
 mfile.close ()
 
 # Make our converter object, adding useful extensions
-md = markdown.Markdown (extensions=['meta', 'tables', 'headerid(forceid=False)'])
+md = markdown.Markdown (extensions=['toc', 'meta', 'tables', 'headerid(forceid=False)'])
 
 # Convert the input text, which will gather the meta-data; right now that's
 # just the document title