+XML_DEV_FILES = $(XML_FILES:%.xml=%_dev.xml)
+
+.PHONY: all full xml clean realclean $(FLAVOURED_LOBA)
+
+all: $(DEFAULT_TARGETS)
+
+full:
+ @for target in $(FLAVOURED_LOBA); do \
+ echo $(MAKE) "$$target"; \
+ $(MAKE) "$$target"; \
+ done
+ $(MAKE) xml $(DEFAULT_TARGETS)
+
+xml: $(XML_DEV_FILES)