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

Original author: beppe Date: 2003-11-25 18:09:24+00:00

[r2003-11-25 18:09:24 by beppe] changed charme for cedre
Original author: beppe Date: 2003-11-25 18:09:24+00:00
6817ca8f · Pietro Abate · 83eadb0f · 6817ca8f
Commit 6817ca8f authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

Makefile Makefile +2 -2

No files found.
--- a/Makefile
+++ b/Makefile
@@ -29,8 +29,8 @@ profile: misc/q_symbol.cmo

 # Site-specific installation

-cedre_build:
-	rsh cedre ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
+charme_build:
+	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