Commit a3353c56 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2002-11-10 14:04:16+00:00
parent dd892d07
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment