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

[r2003-11-25 18:09:24 by beppe] changed charme for cedre

Original author: beppe
Date: 2003-11-25 18:09:24+00:00
parent 241b8135
......@@ -29,8 +29,8 @@ profile: misc/q_symbol.cmo
# Site-specific installation
rsh cedre ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
rsh charme ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
scp webiface cduce@iris:cgi-bin/cduce
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