diff --git a/development/scons/scons_manifest.py b/development/scons/scons_manifest.py
index 71b727a4c2..01f3c800e0 100644
--- a/development/scons/scons_manifest.py
+++ b/development/scons/scons_manifest.py
@@ -2606,6 +2606,7 @@ lib_layouts_inc_files = Split('''
     stdtitle.inc
     svjour.inc
     theorems.inc
+    theorems-ams.inc
     theorems-order.inc
     theorems-proof.inc
     theorems-starred.inc