[r2002-11-10 14:04:16 by cvscast] Empty log message

Original author: cvscast Date: 2002-11-10 14:04:16+00:00

[r2002-11-10 14:04:16 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-10 14:04:16+00:00
98377823 · Pietro Abate · 91bc0863 · 98377823
Commit 98377823 authored Jul 10, 2007 by Pietro Abate
--- a/Makefile
+++ b/Makefile
@@ -135,3 +135,10 @@ test: all.cma
 	fort all.cma $(INCLUDES) tests/test_fort.ml

 include depend
+
+
+# Site-specific installation
+build_web:
+	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
+install_web:
+	scp webiface cduce@iris:cgi-bin/cduce2