diff --git a/mozilla/extensions/webdav/Makefile.in b/mozilla/extensions/webdav/Makefile.in
index 6df039d760f..8b21fce0b53 100644
--- a/mozilla/extensions/webdav/Makefile.in
+++ b/mozilla/extensions/webdav/Makefile.in
@@ -45,7 +45,11 @@ VPATH            = @srcdir@
 include $(DEPTH)/config/autoconf.mk
 
 MODULE		= webdav
-DIRS             = public src
+DIRS            =
+ifeq (,$(filter xmlextras,$(MOZ_EXTENSIONS)))
+DIRS            += ../xmlextras
+endif
+DIRS            += public src
 
 include $(topsrcdir)/config/rules.mk