@@ -53,8 +53,7 @@ docker rmi $(docker images -q)
55You should also delete the cache directories on the stackage-build server to
55You should also delete the cache directories on the stackage-build server to
56−force all packages to be rebuilt. See: [issue
57−#746](https://github.com/fpco/stackage/issues/746).
56+force all packages to be rebuilt. See: [issue#746](https://github.com/fpco/stackage/issues/746).
59## stackage-build server
58## stackage-build server