diff --git a/mozilla/allmakefiles.sh b/mozilla/allmakefiles.sh
index f77af73b89b..5457ec7d7fc 100755
--- a/mozilla/allmakefiles.sh
+++ b/mozilla/allmakefiles.sh
@@ -410,6 +410,9 @@ caps/src/Makefile
 view/Makefile
 view/public/Makefile
 view/src/Makefile
+docshell/Makefile
+docshell/base/Makefile
+docshell/build/Makefile
 webshell/Makefile
 webshell/public/Makefile
 webshell/src/Makefile