Paul Libbrecht added.

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

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