--- Makefile.distrib	2007/07/10 18:06:50	846
+++ Makefile.distrib	2007/07/10 18:06:53	847
@@ -132,7 +132,7 @@
 VALIDATE_OBJECTS := $(shell for o in $(OBJECTS); do echo $$o; if [ "$$o" = "schema/schema_parser.cmo" ]; then exit 0; fi; done)	# all objects until schema_parser.cmo
 
 CDUCE = $(OBJECTS) driver/run.cmo $(CQL_OBJECTS)
-WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
+WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo $(CQL_OBJECTS)
 DTD2CDUCE = tools/dtd2cduce.cmo
 
 ALL_OBJECTS = $(OBJECTS) $(CQL_OBJECTS) \