diff --git a/README.md b/README.md
index 108deae..def6fc1 100644
--- 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
 
diff --git a/doc/building-instructions.md b/doc/building.md
similarity index 97%
rename from doc/building-instructions.md
rename to doc/building.md
index 3f56a48..b895a78 100644
--- a/doc/building-instructions.md
+++ b/doc/building.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.