commit 590a9d61cfdbbe6cfb209c5ef3769e8ab76a6bf2
author Jeff Brown <jeffbrown@google.com> Thu Jun 30 12:55:34 2011 -0700
committer Jeff Brown <jeffbrown@google.com> Tue Nov 29 13:49:17 2011 -0800
tree badc7db6a505a004687be8cae1819fec23538aa1
parent ec62033a8a1027ec93b41cd48bc69856c45b28af

Add section on input devices.

Change-Id: Ib9c4909881df505b11537c28bd08182933a5565a

scripts/build.py

diff --git a/scripts/build.py b/scripts/build.py
index 8188f51..1325a38 100755
--- a/scripts/build.py
+++ b/scripts/build.py
@@ -9,7 +9,7 @@
 
 # call markdown as a subprocess, and capture the output
 def markdown(raw_file):
-  extensions = '-x tables' + ' ' + '-x "toc(title=In This Document)"'
+  extensions = '-x tables -x "toc(title=In This Document)" -x def_list'
   command = 'markdown' + ' ' + extensions + ' ' + raw_file
   p = subprocess.Popen(command, stdout = subprocess.PIPE, shell = True)
   return p.communicate()[0]