From f102cb325fcfd884b62662b74e6246d34033b0d2 Mon Sep 17 00:00:00 2001 From: Michael Jastram <michael@jastram.de> Date: Fri, 13 Jun 2014 14:31:24 +0000 Subject: [PATCH] Hardcopy git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@16396 1434b563-b632-4741-aa49-43a3a8374d2e --- .../XHTML/Themes/rodin-theme-html/default-layout.html | 1 + 1 file changed, 1 insertion(+) diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html index ab25bd1..20f28a0 100644 --- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html +++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html @@ -35,6 +35,7 @@ <li><a href="" id="feedback">Feedback</a> <li><a href="" id="feedbackmail">Email Feedback</a> <li><a href="../pdf/rodin-doc.pdf">Handbook as PDF</a> +<li><a href="http://www.amazon.de/gp/product/1495438147/ref=as_li_tf_tl?ie=UTF8&camp=1638&creative=6742&creativeASIN=1495438147&linkCode=as2&tag=jastramde-21">Handbook Hardcopy</a> <li><a href="http://wiki.event-b.org/">Rodin Wiki</a> <li><a href=" http://wiki.event-b.org/index.php/Rodin_Platform_Releases">Rodin Download</a> <li><a href="mailto:rodin-handbook@formalmind.com">Contact</a> -- GitLab