post_install() {
	echo 'deal.II 9.3.1 has online documentation available at http://www.dealii.org/9.3.0/doxygen/deal.II/index.html'
}