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=1455b47d930ed1ad933d4d803cf26de5c6fbe3bc;hb=39eaf992d15e240fef162d926b0585b0799e2bda;hp=304c75d31af017463bf9553dff60cf6b6a8390c2;hpb=3c278ac9523f3a8d2c0a4f0a75db3d7a43b3e882;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 304c75d31..1455b47d9 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -45,6 +45,7 @@ PEOPLE = \
        	people/inria/pottier.html \
        	people/inria/rideau.html \
        	people/inria/thery.html \
+       	people/inria/werner.html \
        	people/nijmegen/barendregt.html \
        	people/nijmegen/barreiro.html \
        	people/nijmegen/cohen.html \
@@ -54,7 +55,8 @@ PEOPLE = \
        	people/nijmegen/stein.html \
        	people/nijmegen/synek.html \
        	people/nijmegen/wiedijk.html \
-       	people/trusted-logic/bolignano.html
+       	people/trusted-logic/bolignano.html \
+       	people/trusted-logic/gimenez.html
 
 DOCUMENTS = \
             index.html \