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=dbd698a31190b540f03267aeabfe3f4beaaedbf3;hb=6a54db93e8f11320261a2fca0ad00c7caea85f32;hp=a0d616b574bfe9709e2f6f87b5531d70f1d0c977;hpb=9cc266a6602dc14130e8cc63abe8ee8bb28e0cb0;p=helm.git diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index a0d616b57..dbd698a31 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -32,6 +32,7 @@ PEOPLE = \ people/dfki/melis.html \ people/dfki/siekmann.html \ people/dfki/moschner.html \ + people/dfki/libbrecht.html \ people/inria/amerkad.html \ people/inria/bertot.html \ people/inria/chicli.html \