From 4116dd12aaed92365043bb7b1d6b537c9e161eec Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 9 Jul 2018 17:34:01 +0100
Subject: anonymise github link in sail manual.

---
 doc/riscv.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/riscv.tex b/doc/riscv.tex
index 2ecc69df..299a7bdd 100644
--- a/doc/riscv.tex
+++ b/doc/riscv.tex
@@ -137,4 +137,4 @@ end execute
 
 The actual code for this example, as well as our more complete
 \riscv\ specification can be found on our github at
-\url{https://github.com/rems-project/sail/blob/sail2/riscv/riscv_duopod.sail}.
+\anonymise{\url{https://github.com/rems-project/sail/blob/sail2/riscv/riscv_duopod.sail}}.
-- 
cgit v1.2.3