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 ab25bd1166328f4d3e9cf9aef07fe4c22ff978d1..20f28a0a50213dee67a44e2e69cf790ae2933be6 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>