No commit message

No commit message

Makefile

@@ -48,6 +48,8 @@ package: clean
 	mkdir $(PACKAGE)
 	cp -R $(DISTRIB) $(PACKAGE)/
 	cp Makefile.distrib $(PACKAGE)/Makefile
+	mkdir $(PACKAGE)/tools
+	cp tools/dtd2cduce.ml  $(PACKAGE)/tools/
 	(cd $(PACKAGE); \
 	rm -f types/IDEAS; \
         for F in $(DEPEND); do headache -h ../header $$F; done)

header

 The CDuce compiler
 Alain Frisch <Alain.Frisch@inria.fr> and the CDuce team
-Copyright CNRS,INRIA, 2003,2004,2005,2006,2007 (see LICENSE for details)
+Copyright CNRS,INRIA, 2003-2009 (see LICENSE for details)