Broken links fixed somehow.

[helm.git] / helm / mowgli / home / html / Makefile

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 0758a9240ac62c1db0241148073bee4e05284a56..0cdc0faae7ad6bd2de303780f926c59485b54568 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -1,6 +1,6 @@
 
-#DESTDIR = /projects/mowgli/public_html
-DESTDIR = /tmp/mowgli
+DESTDIR = /projects/mowgli/public_html
+#DESTDIR = /tmp/mowgli
 
 XSLTP = xsltproc --param current-date "'`date`'"
 TEMPLATESROOT = ../templates
@@ -93,7 +93,6 @@ DOCUMENTS = \
             sites/nijmegen.html \
             sites/trusted-logic.html \
            publications/index.html \
-            publications/mowgli/index.html \
             publications/others/category_al.html \
             publications/others/crimea2001_apss.html \
             publications/others/cup_s.html \
@@ -147,9 +146,6 @@ software/index.html: $(XMLROOT)/software/index.xml \
        $(XSLROOT)/xhtml-content.xsl
        $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
 
-publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
-       cp $< $@
-
 menu.html: $(TEMPLATESROOT)/menu.html
        sed s/\@DATE\@/"`date`"/ $< >$@