]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Fixed broken links to IST images.
[helm.git] / helm / mowgli / home / html / Makefile
index d75d854ba28db919692d856ed72092f52c632952..4c48dbbd51d6a527cb2cbb63f74f031a76877b40 100644 (file)
@@ -1,5 +1,5 @@
 
-DESTDIR = /tmp/public_html
+DESTDIR = /projects/mowgli/public_html
 
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml