post_install() {
	echo 'deal.II 8.4.2 has an online documentation available at http://www.dealii.org/8.4.1/'
	echo 'deal.II examples are provided in /usr/examples/deal.II'
}