Nothing yet pages added to fix broken links.

[helm.git] / helm / mowgli / home / html / Makefile
diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile

index 243319d94065b389c2249127e294a12f68ed3962..6f93e4415c3e222df79844547375ddcdb2301551 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -90,6 +90,7 @@ DOCUMENTS = \
              sites/inria.html \
              sites/nijmegen.html \
              sites/trusted-logic.html \
+            publications/mowgli/index.html \
              publications/others/category_al.html \
              publications/others/crimea2001_apss.html \
              publications/others/cup_s.html \
@@ -132,6 +133,12 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
  index.html: $(TEMPLATESROOT)/index.html
         cp $< $@
  
+members/index.html: $(TEMPLATESROOT)/nothing_yet.html
+       cp $< $@
+
+publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
+       cp $< $@
+
  menu.html: $(TEMPLATESROOT)/menu.html
         sed s/\@DATE\@/"`date`"/ $< >$@
  
@@ -206,9 +213,6 @@ work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
                $(XSLROOT)/work-package.xsl
         $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $<
  
-members/index.html:
-       echo "<html><body bgcolor=\"white\"><h1>Nothing yet!</h1></body></html>" > $@
-
  clean:
         rm -f $(DOCUMENTS)
  .PHONY: clean