Add PDF handbook links

Fixes #73
MiniZinc · Apr 12, 2024 · 48f60b3 · 48f60b3
1 parent 8020d3b
commit 48f60b3
Show file tree

Hide file tree

Showing 6 changed files with 37 additions and 7 deletions.
diff --git a/src/components/resources/Courses.jsx b/src/components/resources/Courses.jsx
@@ -36,7 +36,11 @@ const resources = [
 
 export function Courses() {
   return (
-    <section id="courses" aria-labelledby="courses-title" className="my-6">
+    <section
+      id="courses"
+      aria-labelledby="courses-title"
+      className="mb-12 mt-6"
+    >
       <Container>
         <h2
           id="courses-title"

diff --git a/src/components/resources/Handbook.jsx b/src/components/resources/Handbook.jsx
@@ -37,7 +37,11 @@ const resources = [
 
 export function Handbook() {
   return (
-    <section id="handbook" aria-labelledby="handbook-title" className="my-6">
+    <section
+      id="handbook"
+      aria-labelledby="handbook-title"
+      className="mb-12 mt-6"
+    >
       <Container>
         <h2
           id="handbook-title"
@@ -48,8 +52,29 @@ export function Handbook() {
         <p className="my-6">
           The <Link href={documentation()}>MiniZinc Handbook</Link> contains all
           the documentation for the MiniZinc language and system.
+          <br />
+          Also available as a{' '}
+          <Link href={documentation('MiniZinc Handbook.pdf')}>
+            printable PDF
+          </Link>
+          .
         </p>
         <Resources resources={resources} />
+        <p className="mt-4">
+          The tutorial is also available in{' '}
+          <Link href={documentation('index.html', 'latest', 'chi')}>
+            Chinese
+          </Link>
+          ! MiniZinc手册
+          <Link href={documentation('index.html', 'latest', 'chi')}>
+            中文版
+          </Link>
+          已经提供 (
+          <Link href={documentation('MiniZinc Handbook.pdf', 'latest', 'chi')}>
+            PDF version
+          </Link>
+          )
+        </p>
       </Container>
     </section>
   )

diff --git a/src/components/resources/Other.jsx b/src/components/resources/Other.jsx
@@ -29,7 +29,7 @@ const resources = [
 
 export function Others() {
   return (
-    <section id="others" aria-labelledby="others-title" className="my-6">
+    <section id="others" aria-labelledby="others-title" className="mb-12 mt-6">
       <Container>
         <h2
           id="others-title"

diff --git a/src/components/resources/Publications.jsx b/src/components/resources/Publications.jsx
@@ -31,7 +31,7 @@ export function Publications() {
     <section
       id="publications"
       aria-labelledby="publications-title"
-      className="my-6"
+      className="mb-12 mt-6"
     >
       <Container>
         <h2

diff --git a/src/components/resources/Resources.jsx b/src/components/resources/Resources.jsx
@@ -6,7 +6,7 @@ export function Resources({ resources }) {
   return (
     <ul
       role="list"
-      className="mx-auto mb-12 grid max-w-2xl grid-cols-1 gap-6 sm:grid-cols-2 md:gap-y-10 lg:max-w-none lg:grid-cols-3"
+      className="mx-auto grid max-w-2xl grid-cols-1 gap-6 sm:grid-cols-2 md:gap-y-10 lg:max-w-none lg:grid-cols-3"
     >
       {resources.map((resource) => (
         <li

diff --git a/src/utils/links.js b/src/utils/links.js
@@ -5,9 +5,10 @@ export function changelog(version) {
   return `https://www.minizinc.org/doc-${latest.version}/en/changelog.html#v-${versionDash}`
 }
 
-export function documentation(page = '', version) {
+export function documentation(page = '', version = 'latest', lang = 'en') {
   const suffix = page ? page.replace(/^\/+/, '') : ''
-  return `https://www.minizinc.org/doc-${version ? version : latest.version}/en/${suffix}`
+  const ver = version === 'latest' ? latest.version : version
+  return `https://www.minizinc.org/doc-${ver}/${lang}/${suffix}`
 }
 
 export function bundles(version) {