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=0c7f2a677e6db319e2f7ecd1cddea47198225afa;hb=e3c35f1c150ae9ccc0b63adda480aa6499c63f9c;hp=dbd698a31190b540f03267aeabfe3f4beaaedbf3;hpb=4bcc5404044ef0986a074a751d5e7beb0d4303c7;p=helm.git diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index dbd698a31..0c7f2a677 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/goguadze.html \ people/dfki/libbrecht.html \ people/inria/amerkad.html \ people/inria/bertot.html \