Made readme file sections and documentation more consistent.

2016-11-16 23:53:21 +01:00 · 2016-11-16 23:53:21 +01:00 · 8bab1e19cb
parent c80688b241
commit 8bab1e19cb
2 changed files with 2 additions and 2 deletions
--- a/README.md
+++ b/README.md
@ -64,7 +64,7 @@ If you want to write your own meta encoding for `plasp`’s output, this [simple

 `plasp` requires `boost` and is built via CMake and a C++ compiler.

-See [building instructions](doc/building-instructions.md) for more details.
+See [building](doc/building.md) for more details.

 ## Contributors

--- a/doc/building-instructions.md
+++ b/doc/building-instructions.md
@ -1,4 +1,4 @@
-# Building Instructions
+# Building

 `plasp` requires a C++14 compiler (preferrably GCC ≥ 6.1 or clang ≥ 3.8), the `boost` libraries (≥ 1.55), and CMake for building.