summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Wells2017-04-15 16:33:49 -0400
committerDavid Wells2017-04-15 16:33:49 -0400
commit8ffa92a12cf2f5df8b9fc094b0aae6a4936e872e (patch)
tree99a22cb142d23a7ff741b2874d511090795b72df
parentf4de34c67f1731c1cc864fa1cd2b37283c4514c9 (diff)
downloadaur-8ffa92a12cf2f5df8b9fc094b0aae6a4936e872e.tar.gz
Update the .install file.
-rw-r--r--deal-ii.install4
1 files changed, 2 insertions, 2 deletions
diff --git a/deal-ii.install b/deal-ii.install
index 0b1bc832cea0..b55916776fd7 100644
--- a/deal-ii.install
+++ b/deal-ii.install
@@ -1,4 +1,4 @@
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'
+ 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/'
}