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=f99cf3c8b5f574c899119dd3292ee980bc895f7f;hb=7bb1c24ce643ca648fe957d9088a6b781f0a14f9;hp=1eb2351b2ee8e81abecd6ef45ee469e719d43f26;hpb=95dd59cde5d1b1531b5ee9231bc3a7c627a6e317;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 1eb2351b2..f99cf3c8b 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -31,6 +31,7 @@ PEOPLE = \
        	people/dfki/kohlhase.html \
        	people/dfki/melis.html \
        	people/dfki/siekmann.html \
+       	people/dfki/moschner.html \
        	people/inria/amerkad.html \
        	people/inria/bertot.html \
        	people/inria/chicli.html \