#/bin/bash
echo Update list of Colloquium speakers
cat head.html talks.colloq.f2015.inc tail.html  talks.colloq.s2016.inc  talks.colloq.s2015.inc talks.colloq.f2014.inc talks.colloq.s2014.inc talks.colloq.f2013.inc talks.colloq.s2013.inc  talks.colloq.f2012.inc talks.colloq.s2012.inc talks.colloq.f2011.inc  end.html > talks.colloq.inc
/bin/cp talks.colloq.inc /home/httpd/html/dept/include/refs/talks.colloq.inc
echo done