From 48f60b3e33278080697835c3466ff79e4e417b3d Mon Sep 17 00:00:00 2001 From: Jason N Date: Fri, 12 Apr 2024 18:34:47 +1000 Subject: [PATCH] Add PDF handbook links Fixes #73 --- src/components/resources/Courses.jsx | 6 ++++- src/components/resources/Handbook.jsx | 27 ++++++++++++++++++++++- src/components/resources/Other.jsx | 2 +- src/components/resources/Publications.jsx | 2 +- src/components/resources/Resources.jsx | 2 +- src/utils/links.js | 5 +++-- 6 files changed, 37 insertions(+), 7 deletions(-) diff --git a/src/components/resources/Courses.jsx b/src/components/resources/Courses.jsx index 01b49c215..fa868f9d6 100644 --- a/src/components/resources/Courses.jsx +++ b/src/components/resources/Courses.jsx @@ -36,7 +36,11 @@ const resources = [ export function Courses() { return ( -
+

+

The MiniZinc Handbook contains all the documentation for the MiniZinc language and system. +
+ Also available as a{' '} + + printable PDF + + .

+

+ The tutorial is also available in{' '} + + Chinese + + ! MiniZinc手册 + + 中文版 + + 已经提供 ( + + PDF version + + ) +

) diff --git a/src/components/resources/Other.jsx b/src/components/resources/Other.jsx index 3629e228e..022f470eb 100644 --- a/src/components/resources/Other.jsx +++ b/src/components/resources/Other.jsx @@ -29,7 +29,7 @@ const resources = [ export function Others() { return ( -
+

{resources.map((resource) => (