[r2003-03-22 00:34:27 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 00:37:35+00:00

Makefile

@@ -164,9 +164,9 @@ web/files: cduce.opt web/site.cd
 build_web:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
 install_web:
-	ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
+	ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
 install_web_local:
-	ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/memento.html /var/www/html/; chmod +s /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/index.html /var/www/html"
+	ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;"
 
 build_website:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"

web/cduce.css

@@ -99,14 +99,6 @@ div.meta {
   font-size: 80%;
   font-family: sans-serif;
 }
-div.code {
-  background: #FFF9BF;
-  color: #000000;
-  margin: 4ex 0.5em 0 0.5em;
-  border: solid 2px #000000;
-  padding: 1ex;
-  font-family: sans-serif;
-}
 @media screen {
   body {
     background: #fcb333;

web/memento.xml

@@ -68,7 +68,8 @@ _" character,  starting by a capitalized letter or underscore.</li>
 Integer,Integer -> Bool = <duce>`true | `false</duce>
    </li>
    <li>Prefix:
-        <br/><duce>load_xml,load_html, dump_to_file</duce> : String -> Any 
+        <br/><duce>load_xml,load_html</duce> : String -> Any,
+        <br/><duce>dump_to_file</duce> : String -> String -> Any,
         <br/><duce>print_xml</duce> : Any -> String
         <br/><duce>print</duce> : String -> []
         <br/><duce>int_of</duce> : [('0'--'9')+] -> Integer