From af0fe9860d5fbf1123159f73fe504c8e9c25e24d Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 26 Sep 2001 13:24:19 +0000 Subject: [PATCH] Slight doc update. git-svn-id: https://svn.dealii.org/branches/Branch-3-2@5098 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/readme.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/deal.II/doc/readme.html b/deal.II/doc/readme.html index 3444fa5cbb..ca047d4481 100644 --- a/deal.II/doc/readme.html +++ b/deal.II/doc/readme.html @@ -275,7 +275,7 @@ After `make' has finished, you will have two sets of libraries. The first consists of the files + If shared libraries were built instead of static ones, then the + suffix .a is replaced by .so

-- 2.39.5