diff --git a/allmakefiles.sh b/allmakefiles.sh
index 60aaad49c945..9fe87a7e4228 100755
--- a/allmakefiles.sh
+++ b/allmakefiles.sh
@@ -93,6 +93,7 @@ editor/Makefile
 editor/public/Makefile
 editor/idl/Makefile
 editor/txmgr/Makefile
+editor/txmgr/idl/Makefile
 editor/txmgr/public/Makefile
 editor/txmgr/src/Makefile
 editor/txmgr/tests/Makefile