From 8cd5804c46b2024a8bcdbcfd2be7fb25414cce66 Mon Sep 17 00:00:00 2001
From: Ben Marshall <ben.marshall@bristol.ac.uk>
Date: Wed, 19 Feb 2020 13:40:49 +0000
Subject: [PATCH] spec: link to github repo at top of document

 On branch master
 Your branch is up-to-date with 'origin/master'.

 Changes to be committed:
	modified:   doc/riscv-crypto-spec.tex
---
 doc/riscv-crypto-spec.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/riscv-crypto-spec.tex b/doc/riscv-crypto-spec.tex
index f7307550..7a95a55c 100644
--- a/doc/riscv-crypto-spec.tex
+++ b/doc/riscv-crypto-spec.tex
@@ -5,7 +5,8 @@
 \title{RISC-V Cryptographic Extension Proposals}
 \author{Editors: }
 \date{Version $0.2.0$ (\today) \\
-{\small \tt \import{../build/spec/}{spec.commit}}
+\href{https://github.com/scarv/riscv-crypto}{
+{\small \tt git:\import{../build/spec/}{spec.commit}}}
 }
 
 \begin{document}