From 18ba45345976c29148a31aac16ac8c4b949a79f1 Mon Sep 17 00:00:00 2001
From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Tue, 12 May 2020 07:11:44 +0100
Subject: [PATCH] README.md: Point to CI for getting a PDF

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

diff --git a/README.md b/README.md
index 845a0b7..524fd0e 100644
--- a/README.md
+++ b/README.md
@@ -3,3 +3,6 @@ help developers working with pure-capability C/C++ understand the benefits
 that it brings, any code adaptations they might need to make, and how to
 interpret new compiler warnings and errors that arise with pure-capability
 code.
+
+For a pre-typeset PDF version of this document, please find the latest CI run at
+https://github.com/CTSRD-CHERI/cheri-c-programming/actions.