post_install() {
  echo "-- Use FreeMat -i /usr/share/FreeMat-4.2/ to adjust docs location"
}

post_upgrade() {
  echo "-- Use FreeMat -i /usr/share/FreeMat-4.2/ to adjust docs location"
}
