X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;fp=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;h=304c75d31af017463bf9553dff60cf6b6a8390c2;hb=d22de6fda5ab935ae68e106794e7f05808aaea55;hp=1cbbc9c56a1a22a51b84b43427b2fcbc62dcb478;hpb=57e9e86aab821edfb63acff7a4f1d6dd525a5409;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 1cbbc9c56..304c75d31 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -20,9 +20,11 @@ XHTMLCONTENT = $(XSLROOT)/xhtml-content.xsl
 
 PEOPLE = \
 	people/aei/kelley.html \
+	people/aei/pollney.html \
 	people/aei/schutz.html \
        	people/aei/velden.html \
        	people/aei/wegner.html \
+       	people/aei/weyher.html \
        	people/bologna/asperti.html \
        	people/bologna/guidi.html \
        	people/bologna/padovani.html \
@@ -322,6 +324,8 @@ install: $(DOCUMENTS)
 	mkdir -p $(DESTDIR)/misc/proposal
 	cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
 	cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
+	cp -R ../misc/kick-off $(DESTDIR)/misc
+	cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
 	if [ $(FRAMES) = yes ] ; \
 	then \
 	 sed s/menu\\.html/$(HTMLDESTDIRSUFFIX)\\/menu\\.html/ <index.html | \