Document gipfeli dependency and cleanup.

pleroy · web-flow · commit 40230d5f85ff · 2018-04-29T13:48:59.000+02:00
diff --git a/documentation/Setup.md b/documentation/Setup.md
@@ -3,7 +3,7 @@
 These instructions are for Visual Studio 2017 version 15.7 preview 1, using the git
 Powershell provided by [GitHub for Windows](https://windows.github.com/).
 
-We assume a working installation of Kerbal Space Program version 1.4.1 is
+We assume a working installation of Kerbal Space Program version 1.4.2 is
 found in `<KSP directory>`.
 
 The repository is found at https://github.com/mockingbirdnest/Principia.git.
@@ -27,7 +27,7 @@ This project depends upon:
   protobuf library;
 - our [fork](https://github.com/mockingbirdnest/benchmark) of the Google
   benchmark library;
-- our [fork](https://github.com/mockingbirdnest/Optional) of @akrzemi1's implementation of `std::experimental::optional` from the library fundamentals Technical Specification;
+- our [fork](https://github.com/mockingbirdnest/gipfeli) of the Google gipfeli library;
 - parts of the Chromium codebase (for stack tracing support in glog on Windows),
   *modified according to the instructions below*.
 
@@ -39,7 +39,7 @@ In `<root>`, run `git clone https://github.com/mockingbirdnest/Principia.git`.
 
 ### KSP and Unity assemblies
 
-Copy these assemblies to the directory `<root>\KSP Assemblies\1.4.1`.
+Copy these assemblies to the directory `<root>\KSP Assemblies\1.4.2`.
 In order to build for KSP 1.2.2, copy the corresponding KSP 1.2.2 assemblies to `<root>\KSP Assemblies\1.2.2`.  For KSP 1.3.1 copy the corresponding KSP 1.3.1 assemblies to `<root>\KSP Assemblies\1.3.1`
 
 ### Downloading the Google libraries
@@ -50,6 +50,7 @@ git clone "https://github.com/mockingbirdnest/glog.git"
 git clone "https://github.com/mockingbirdnest/googletest.git"
 git clone "https://github.com/mockingbirdnest/protobuf.git"
 git clone "https://github.com/mockingbirdnest/benchmark.git"
+git clone "https://github.com/mockingbirdnest/gipfeli.git"
 git clone "https://chromium.googlesource.com/chromium/src.git" chromium -n --depth 1 -b "40.0.2193.1"
 $GitPromptSettings.RepositoriesInWhichToDisableFileStatus += join-path  (gi -path .).FullName chromium
 cd chromium
@@ -61,13 +62,6 @@ git am "chromium.patch"
 rm "chromium.patch"
 cd ..
 ```
-### Downloading the third party libraries
-
-In `<root>\Third Party`, run the following command.
-```powershell
-git clone "https://github.com/mockingbirdnest/Optional.git"
-```
-
 ### Building
 
 In `<root>`, run the following command.
