From 8429ef315cd1c58505863ee82cc1411635ca7162 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 11 May 2018 18:52:17 +0100
Subject: Fix last few links in README.md

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 9da4d5d6..9de94d32 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/
 This repository contains the implementation of Sail, together with
 some Sail specifications and related tools.
 
-* A manual, [manual.pdf] with source (in [doc/](doc/))
+* A manual, [manual.pdf](manual.pdf) with source (in [doc/](doc/))
 
 * The Sail source code (in [src/](src/))
 
@@ -56,10 +56,10 @@ to get pre-built binaries of Sail using OPAM.
 Emacs Mode
 ==========
 
-[editors/sail2-mode.el](editors/sail2-mode.el) contains an Emacs mode for the most recent
-version of Sail which provides some basic syntax
-highlighting. [editors/sail-mode.el] Contains an emacs mode for
-previous versions of the language.
+[editors/sail2-mode.el](editors/sail2-mode.el) contains an Emacs mode
+for the most recent version of Sail which provides some basic syntax
+highlighting. [editors/sail-mode.el](editors/sail-mode.el) contains an
+emacs mode for previous versions of the language.
 
 Licensing
 =========
-- 
cgit v1.2.3