Remove old reference to $(XML_DEV_FILES) and to rule "xml".

diff --git a/Makefile b/Makefile
index 5b0d491b840b1293a4a0501b44d0bf4d0539a6b7..59afd305661ef32ebad623058992b63083ef433e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ full:
                echo $(MAKE) "$$target";        \
                $(MAKE) "$$target";             \
        done
                echo $(MAKE) "$$target";        \
                $(MAKE) "$$target";             \
        done

-       $(MAKE) xml $(DEFAULT_TARGETS)
+       $(MAKE) $(DEFAULT_TARGETS)

 
 clean:
        $(RM) core core.[0-9]* vgcore.[0-9]*
 
 clean:
        $(RM) core core.[0-9]* vgcore.[0-9]*


@@ -71,7 +71,6 @@ clean:
 
 realclean: clean
        $(RM) $(FLAVOURED_LOBA)
 
 realclean: clean
        $(RM) $(FLAVOURED_LOBA)

-       $(RM) $(XML_DEV_FILES)

        $(RM) *~
 
 .%.d: %.c ; $(MAKEDEPEND.C)
        $(RM) *~
 
 .%.d: %.c ; $(MAKEDEPEND.C)