1.1 --- a/docs/src/install.md Sat Oct 28 16:31:29 2017 +0200 1.2 +++ b/docs/src/install.md Mon Nov 13 12:21:55 2017 +0100 1.3 @@ -1,5 +1,6 @@ 1.4 -Build Instructions 1.5 -================== 1.6 +--- 1.7 +title: Build Instructions 1.8 +--- 1.9 1.10 The install procedure is the same on all supported platforms. 1.11 For Microsoft Windows, however, you will need an appropriate port of the linux