Fix path to user settings
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 2 Jun 2016 22:19:21 +0000 (23:19 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 2 Jun 2016 22:19:21 +0000 (23:19 +0100)
[skip ci]

README.md

index b1da6f7..d99d2b7 100644 (file)
--- a/README.md
+++ b/README.md
@@ -88,8 +88,7 @@ by Shake oracles.
 #### User settings
 
 The `make`-based build system uses `mk/build.mk` to specify user build settings. We
-use `./UserSettings.hs` for the same purpose, see
-[documentation](doc/user-settings.md).
+use `hadrian/UserSettings.hs` for the same purpose, see [documentation](doc/user-settings.md).
 
 #### Clean and full rebuild