# $Id: Makefile,v 1.1 2003/10/29 11:34:39 gmariano Exp $ GEODIR = "." XSLTPROC = xsltproc XSLDIR = ../xsl XSL = $(XSLDIR)/xml2tex.xsl # Prévoir un /etc/geocaml.conf pour les réglages systèmes -include /etc/geocaml.conf GEOFILES = $(shell find $(GEODIR) -name "*.geo") bench: xml xml: for f in $(GEOFILES); do\ rm $$f.xml ;\ geocaml-native --xml $$f > $$f.xml ;\ done