diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c68404e9f..f5ceee3cf 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -75,16 +75,3 @@ especially `go-p2p` and `go-rpc`, as their versions are referenced in tendermint
 - push to release-vX.X.X to run the extended integration tests on the CI
 - merge to master
 - merge master back to develop
-
-
-### Automation TODOs
-
-- Push builds: docker, AMIs
-- Update github.com/tendermint/tendermint-stable with latest master and vendored deps for debian releases
-
-TODO: sign releases
-
-## Docker
-
-We provide docker images for `tendermint/tendermint` and others. See the [mintnet-kubernetes](https://github.com/tendermint/mintnet-kubernetes) repo for deploying Tendermint in containers with kubernetes.
-Additionally, we use docker for local testnets as part of our [test suite](https://github.com/tendermint/tendermint/tree/master/test/p2p).
diff --git a/INSTALL.md b/INSTALL.md
index 6d90acd7a..35b5ffec0 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1 +1 @@
-The installation guide has moved to the [docs directory](docs/guides/install-from-source) in order to easily be rendered by the website. Please update your links accordingly.
+The installation guide has moved to the [docs directory](docs/guides/install-from-source.md) in order to easily be rendered by the website. Please update your links accordingly.