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=4e8da5e3dac4b9a19cdfb11ae6ae6bf08bbc6d16;hb=054486824b24b1fe0aa60714738b08de8005c80a;hp=0b8f513f5f6bcdb54e8bc02d4c158a921846549e;hpb=f823e2fa62fff6e91c9c4204177894609b0b9f11;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 0b8f513f5..4e8da5e3d 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -56,7 +56,8 @@ PEOPLE = \
        	people/nijmegen/synek.html \
        	people/nijmegen/wiedijk.html \
        	people/trusted-logic/bolignano.html \
-       	people/trusted-logic/gimenez.html
+       	people/trusted-logic/gimenez.html \
+       	people/trusted-logic/loiseaux.html
 
 DOCUMENTS = \
             index.html \
@@ -326,7 +327,7 @@ 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 ../misc/kick-off/*.* $(DESTDIR)/misc/kick-off
 	cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
 	if [ $(FRAMES) = yes ] ; \
 	then \