]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Modified Files:
[helm.git] / helm / mowgli / home / html / Makefile
index f99cf3c8b5f574c899119dd3292ee980bc895f7f..a0d616b574bfe9709e2f6f87b5531d70f1d0c977 100644 (file)
@@ -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) -