summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton2019-12-04 15:28:13 +0000
committerRobert Norton2019-12-04 15:28:13 +0000
commit6088ece8a2be1eb6fadd8a499fc8bab54102bb97 (patch)
tree9ef108cb084315db48b1dea5eac33df1539ab794
parent8cf922bf32ed1e91aebaacaa2af83a8655da1293 (diff)
Minor doc fixes.
-rw-r--r--BUILDING.md2
-rw-r--r--README.md2
2 files changed, 2 insertions, 2 deletions
diff --git a/BUILDING.md b/BUILDING.md
index 44437281..0eb0e19d 100644
--- a/BUILDING.md
+++ b/BUILDING.md
@@ -8,7 +8,7 @@ virtual machine and on macOS Sierra 10.12.6, so they should
work. Hopefully this will be useful as a reference.
For most users, installing and building the dependencies using OPAM is
-likely easier than building everything manually, see [INSTALL.md].
+likely easier than building everything manually, see [INSTALL.md](INSTALL.md).
Basics
------
diff --git a/README.md b/README.md
index 143e79ad..34004a86 100644
--- a/README.md
+++ b/README.md
@@ -81,7 +81,7 @@ to get install Sail using opam (recommended).
Building
========
-See [BUILDING.md](BUILDING.md)) for full details of how to build Sail from source
+See [BUILDING.md](BUILDING.md) for full details of how to build Sail from source
with all the required dependencies.
Emacs Mode