Add a link to the user settings doc
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 14 May 2016 13:05:05 +0000 (14:05 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 14 May 2016 13:05:05 +0000 (14:05 +0100)
See #245. [skip ci]

README.md

index 5c950dd..fdbdbc5 100644 (file)
--- a/README.md
+++ b/README.md
@@ -80,8 +80,8 @@ a GHC [bug][ghc-split-objs-bug], you need a full clean rebuild when using this f
 #### User settings
 
 The `make`-based build system uses `mk/build.mk` to specify user build settings. We
-use [`src/Settings/User.hs`][user-settings] for the same purpose. Feel free to
-experiment following the Haddock comments.
+use [`src/Settings/User.hs`][user-settings] for the same purpose, see
+[documentation](doc/user-settings.md).
 
 #### Clean and full rebuild