- java xaland 12347 12348 examples/style/rootcontent.xsl \
- examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
- examples/style/theory_pres.xsl
+ java xaland 12347 12348 \
+ $(COQV)/examples/style/rootcontent.xsl \
+ $(COQV)/examples/style/annotatedpres.xsl \
+ $(COQV)/examples/style/theory_content.xsl \
+ $(COQV)/examples/style/theory_pres.xsl