From 27ba6151ecff737a2240b716a8ef39f6f0a7e41a Mon Sep 17 00:00:00 2001
From: Kent McLeod <Kent.Mcleod@data61.csiro.au>
Date: Tue, 10 Apr 2018 15:12:23 +1000
Subject: [PATCH] SELFOUR-1079: Add link to hosted manual in README

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index a11f142e7..e91ad9fa0 100644
--- a/README.md
+++ b/README.md
@@ -30,6 +30,12 @@ system in a larger project.
   [2]: http://sel4.systems/Info/FAQ/
   [3]: http://sel4.systems/Community/Contributing/
   [4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg
+  [5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf
+
+Manual
+------
+
+A hosted version of the [manual](manual/) for the most recent release can be found [here][5].
 
 Repository Overview
 -------------------