]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
* New MOWGLI members
[helm.git] / helm / mowgli / home / html / Makefile
index 1cbbc9c56a1a22a51b84b43427b2fcbc62dcb478..304c75d31af017463bf9553dff60cf6b6a8390c2 100644 (file)
@@ -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 | \