New MOWGLI member.

[helm.git] / helm / mowgli / home / html / Makefile

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 0b8f513f5f6bcdb54e8bc02d4c158a921846549e..4e8da5e3dac4b9a19cdfb11ae6ae6bf08bbc6d16 100644 (file)
--- 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 \