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 \
mkdir -p $(DESTDIR)/misc/proposal
cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
+ cp -R ../misc/kick-off $(DESTDIR)/misc
+ cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
if [ $(FRAMES) = yes ] ; \
then \
sed s/menu\\.html/$(HTMLDESTDIRSUFFIX)\\/menu\\.html/ <index.html | \