Merge pull request #81 from mateidragony/site

jsiek · Jan 28, 2025 · a224ec1 · a224ec1
2 parents 03d1091 + 62ff95a
commit a224ec1
Show file tree

Hide file tree

Showing 3 changed files with 54 additions and 0 deletions.
diff --git a/doc/convert.py b/doc/convert.py
@@ -30,6 +30,15 @@
     'GettingStarted' : 'Getting Started',
 }
 
+mdToDescription = {
+    'CheatSheet' : 'Cheat sheet for advice on deduce proofs.',
+    'FunctionalProgramming' : 'A guide on deduce programming with exercises.',
+    'ProofIntro' : 'A guide on writing proofs in deduce with exercises.',
+    'Reference' : 'Full reference manual for the deduce language.',
+    'SyntaxGrammar' : 'Syntax and grammar overview for the deduce language.',
+    'GettingStarted' : 'Getting started with deduce.',
+}
+
 mdToDeduceCode = {
     'CheatSheet' : 'cheat-sheet',
     'FunctionalProgramming' : 'programming',
@@ -225,9 +234,24 @@ def extendMarkdown(self, md):
 
 <head>
     <meta charset="UTF-8">
+    <meta name="description" content="{mdToDescription[fname]}">
+    <meta name="keywords" content="Deduce, Proof, Programming">
+    <meta name="author" content="Jeremy Siek">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
     <title>Deduce | {mdToTitle[fname]}</title>
 
+    <!-- Social cards -->
+    <meta property="og:url" content="https://jsiek.github.io/deduce/pages/{mdToHtmlName[fname]}.html" />
+    <meta property="og:type" content="website"/>
+    <meta property="og:title" content="Deduce | {mdToTitle[fname]}" />
+    <meta property="og:description" content="{mdtoDescription[fname]}" />
+    <meta property="og:site_name" content="Deduce">
+    <meta property="og:image" content="https://jsiek.github.io/deduce/images/logo.svg" />
+    <meta name="twitter:card" content="summary_large_image">
+    <meta name="twitter:title" content="Deduce | {mdToTitle[fname]}">
+    <meta name="twitter:description" content="{mdtoDescription[fname]}">
+    <meta name="twitter:image" content="https://jsiek.github.io/deduce/images/logo.svg">
+
     <!-- Favicon -->
     <link rel="icon" type="image/x-icon" href="../images/logo.svg">
 

diff --git a/gh-pages/index.html b/gh-pages/index.html
@@ -3,9 +3,24 @@
 
 <head>
     <meta charset="UTF-8">
+    <meta name="description" content="Deduce is an automated proof checker meant for use in education to help students">
+    <meta name="keywords" content="Deduce, Proof, Programming">
+    <meta name="author" content="Jeremy Siek">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
     <title>Deduce | Home</title>
 
+    <!-- Social cards -->
+    <meta property="og:url" content="https://jsiek.github.io/deduce" />
+    <meta property="og:type" content="website" />
+    <meta property="og:title" content="Deduce | Home" />
+    <meta property="og:description" content="Deduce is an automated proof checker meant for use in education to help students" />
+    <meta property="og:site_name" content="Deduce">
+    <meta property="og:image" content="https://jsiek.github.io/deduce/images/logo.svg" />
+    <meta name="twitter:card" content="summary_large_image">
+    <meta name="twitter:title" content="Deduce | Home">
+    <meta name="twitter:description" content="Deduce is an automated proof checker meant for use in education to help students">
+    <meta name="twitter:image" content="https://jsiek.github.io/deduce/images/logo.svg">
+
     <!-- Favicon -->
     <link rel="icon" type="image/x-icon" href="./images/logo.svg">
 

diff --git a/gh-pages/pages/sandbox.html b/gh-pages/pages/sandbox.html
@@ -4,8 +4,23 @@
 <head>
     <meta charset="UTF-8">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <meta name="description" content="Run and test your deduce code online.">
+    <meta name="keywords" content="Deduce, Proof, Programming">
+    <meta name="author" content="Jeremy Siek">
     <title>Deduce | Sandbox</title>
 
+    <!-- Social cards -->
+    <meta property="og:url" content="https://jsiek.github.io/deduce/pages/sandbox.html" />
+    <meta property="og:type" content="website"/>
+    <meta property="og:title" content="Deduce | Sandbox" />
+    <meta property="og:description" content="Run and test your deduce code online." />
+    <meta property="og:site_name" content="Deduce">
+    <meta property="og:image" content="https://jsiek.github.io/deduce/images/logo.svg" />
+    <meta name="twitter:card" content="summary_large_image">
+    <meta name="twitter:title" content="Deduce | Sandbox">
+    <meta name="twitter:description" content="Run and test your deduce code online.">
+    <meta name="twitter:image" content="https://jsiek.github.io/deduce/images/logo.svg">
+
     <!-- Favicon -->
     <link rel="icon" type="image/x-icon" href="../images/logo.svg">