1 2 3 4
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/' }