www

commit 67646642e10ad9f82f6cdcb8208c5edae1df991a
parent 232659b2007eb884afc8c4637f5683b48bd6f73e
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 02:12:09 +0100

Hyperlink to the PDF version

Diffstat:
M
scribblings/phc-thesis.scrbl
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/scribblings/phc-thesis.scrbl b/scribblings/phc-thesis.scrbl
@@ -6,6 +6,8 @@
 @title[#:style (with-html5 manual-doc-style)]{Thesis}
 @author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]]
 
+@hyperlink["../pdf/phc-thesis.pdf"]{PDF version}
+
 @include-section{state-of-the-art.scrbl}
 
 @(generate-bibliography-section)
 \ No newline at end of file