diff options
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -320,7 +320,8 @@ RINGVO = contrib/ring/ArithRing.vo contrib/ring/Ring_normalize.vo \ contrib/ring/ZArithRing.vo contrib/ring/Ring_abstract.vo \ contrib/ring/Quote.vo -XMLVO = contrib/xml/Xml.vo +#XMLVO = contrib/xml/Xml.vo +XMLVO= CONTRIBVO = $(OMEGAVO) $(RINGVO) $(XMLVO) |