post_install() {
	echo 'deal.II 8.5.0 has online documentation available at http://www.dealii.org/8.5.0/'
	echo 'deal.II examples are provided in /usr/share/deal-ii/examples/'
}