diff options
author | David Wells | 2017-04-15 16:33:49 -0400 |
---|---|---|
committer | David Wells | 2017-04-15 16:33:49 -0400 |
commit | 8ffa92a12cf2f5df8b9fc094b0aae6a4936e872e (patch) | |
tree | 99a22cb142d23a7ff741b2874d511090795b72df | |
parent | f4de34c67f1731c1cc864fa1cd2b37283c4514c9 (diff) | |
download | aur-8ffa92a12cf2f5df8b9fc094b0aae6a4936e872e.tar.gz |
Update the .install file.
-rw-r--r-- | deal-ii.install | 4 |
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/' } |