From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 16 Jan 2015 17:33:44 +0000 (-0500)
Subject: Merge pull request #447 from bangerth/improve-readme.md
X-Git-Tag: v8.3.0-rc1~534
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb9156c6f58ddd22899dd4fa079221e7d8a4f0a8;p=dealii.git

Merge pull request #447 from bangerth/improve-readme.md

Improve wording slightly.

The existing instructions didn't make clear where the sources were located and
implicitly assumed that they are in the directory above the build
directory. This can be confusing.

(By suggestion of Joel Kulesza.)
---

bb9156c6f58ddd22899dd4fa079221e7d8a4f0a8