diff -r 3ff0abc49ed5 -r 24f5484bae97 docs/src/install.md
--- a/docs/src/install.md	Sat Oct 28 16:31:29 2017 +0200
+++ b/docs/src/install.md	Mon Nov 13 12:21:55 2017 +0100
@@ -1,5 +1,6 @@
-Build Instructions
-==================
+---
+title: Build Instructions
+---
 
 The install procedure is the same on all supported platforms.
 For Microsoft Windows, however, you will need an appropriate port of the linux