X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;h=a0d616b574bfe9709e2f6f87b5531d70f1d0c977;hb=9cc266a6602dc14130e8cc63abe8ee8bb28e0cb0;hp=f99cf3c8b5f574c899119dd3292ee980bc895f7f;hpb=8fed5617e959378f9c6a4939b0a13ac5ebde4cfe;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index f99cf3c8b..a0d616b57 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -56,7 +56,6 @@ DOCUMENTS = \
             index.html \
             home.html \
 	    menu.html \
-            proposal/proposal-index.html \
             proposal/project-management.html \
             proposal/project-objectives.html \
             proposal/project-summary.html \
@@ -172,11 +171,6 @@ software/index.html: $(XMLROOT)/software/index.xml \
 	             $(XHTMLCONTENT)
 	$(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
 
-proposal/proposal-index.html: $(XMLROOT)/proposal/proposal-index.xml \
-                         $(XHTMLCONTENT)
-	sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
-
-
 proposal/project-management.html: $(XMLROOT)/proposal/project-management.xml \
                          $(XHTMLCONTENT)
 	sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -