+
+RMDOCTYPE = "s/<\\!DOCTYPE[^>]*>//"
+
+XHTMLCONTENT = $(XSLROOT)/xhtml-content.xsl
+
+PEOPLE = \
+ people/aei/kelley.html \
+ people/aei/pollney.html \
+ people/aei/schutz.html \
+ people/aei/velden.html \
+ people/aei/wegner.html \
+ people/aei/weyher.html \
+ people/bologna/asperti.html \
+ people/bologna/guidi.html \
+ people/bologna/padovani.html \
+ people/bologna/sacerdoti.html \
+ people/bologna/schena.html \
+ people/dfki/kohlhase.html \
+ 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 \
+ people/inria/chicli.html \
+ people/inria/delahaye.html \
+ people/inria/herbelin.html \
+ people/inria/naciri.html \
+ 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 \
+ people/nijmegen/cruz-filipe.html \
+ people/nijmegen/geuvers.html \
+ people/nijmegen/niqui.html \
+ people/nijmegen/stein.html \
+ people/nijmegen/synek.html \
+ people/nijmegen/wiedijk.html \
+ people/trusted-logic/bolignano.html \
+ people/trusted-logic/gimenez.html \
+ people/trusted-logic/loiseaux.html
+
+DOCUMENTS = \
+ index.html \
+ home.html \
+ menu.html \
+ proposal/project-management.html \
+ proposal/project-objectives.html \
+ proposal/project-summary.html \
+ proposal/contribution.html \
+ proposal/innovation.html \
+ proposal/EC-contribution.html \
+ proposal/econ-scient-tech-prospects.html \
+ proposal/project-planning.html \
+ proposal/project-components.html \