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]