diff --git a/library.org b/library.org
index 60f989f9be6e7ff5b590de828b1075e1193e73ff..7d777bfe837599e53411e499d401a3bde2ea225f 100644
--- a/library.org
+++ b/library.org
@@ -5,7 +5,7 @@
 #+DATE: \today
 #+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
 #+OPTIONS: toc:nil H:5 ':t *:t todo:nil stat:nil d:nil
-#+PROPERTY: header-args :noweb tangle :comments noweb
+#+PROPERTY: header-args :noweb no-export :comments noweb
 #+LATEX_HEADER: \usepackage[margins=0.75in]{geometry}
 #+LATEX_HEADER: \parskip=5pt
 #+LATEX_HEADER: \parindent=0pt