summaryrefslogtreecommitdiff
path: root/README.adoc
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-07-21 09:46:05 +0200
committeralainfrisch <alain@frisch.fr>2016-07-21 09:46:05 +0200
commit1440fea51967046e293eb47a5f229d8690d09e01 (patch)
tree8a0bed1a0faba79d36082e5421186259d74a38ac /README.adoc
parent29f588d0bdcc1fb044d05986755ec7b350401c30 (diff)
downloadocaml-1440fea51967046e293eb47a5f229d8690d09e01.tar.gz
Fix link.
Diffstat (limited to 'README.adoc')
-rw-r--r--README.adoc2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.adoc b/README.adoc
index 55c5d22cad..827fe5ab67 100644
--- a/README.adoc
+++ b/README.adoc
@@ -94,7 +94,7 @@ the conditions stated in file LICENSE.
== Installation
-See the file INSTALL.adoc for installation instructions on machines running Unix,
+See the file INSTALL.adoc[] for installation instructions on machines running Unix,
Linux, OS X and Cygwin. For native Microsoft Windows, see
link:README.win32.adoc[].