fix: Backport Jekyll changes (#38)

We updated Jekyll and need to make changes to maintain compatibility --------- Signed-off-by: Fabio Madge <[email protected]>
dafny-lang · Jan 12, 2024 · e5073ce · e5073ce
1 parent 6ec6c4f
commit e5073ce
Show file tree

Hide file tree

Showing 153 changed files with 463 additions and 170 deletions.
diff --git a/_config.yml b/_config.yml
@@ -65,3 +65,11 @@ exclude:
    - vendor/cache/
    - vendor/gems/
    - vendor/ruby/
+
+
+defaults:
+  -
+    scope:
+      path: "" # an empty string here means all files in the project
+    values:
+      layout: "single"
diff --git a/_layouts/single.html b/_layouts/single.html
@@ -0,0 +1,18 @@
+<!DOCTYPE html>
+<html lang="{{ page.lang | default: site.lang | default: "en" }}">
+
+{%- include head.html -%}
+
+<body>
+
+  <main class="page-content" aria-label="Content">
+    <div class="wrapper">
+      {{ content }}
+    </div>
+  </main>
+
+  {%- include footer.html -%}
+
+</body>
+
+</html>
diff --git a/latest/Compilation/AutoInitialization.md b/latest/Compilation/AutoInitialization.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Automatic Initialization of Variables
+---
 
 Automatic Initialization of Variables
 =====================================

diff --git a/latest/Compilation/Boogie.md b/latest/Compilation/Boogie.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Boogie
+---
 
 # Dafny compilation to Boogie
 

diff --git a/latest/Compilation/Go.md b/latest/Compilation/Go.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Go
+---
 
 Dafny compilation to Go
 =======================

diff --git a/latest/Compilation/ReferenceTypes.md b/latest/Compilation/ReferenceTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation of trait and class
+---
 
 Dafny compilation of trait and class
 ====================================

diff --git a/latest/Compilation/StringsAndChars.md b/latest/Compilation/StringsAndChars.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Strings and Characters
+---
 
 # Strings and Characters
 

diff --git a/latest/HowToFAQ/FAQForallTricks.md b/latest/HowToFAQ/FAQForallTricks.md
@@ -1,10 +1,10 @@
 ---
-title: Why can't I write 'forall t: Test :: t.i == 1' for an object t?
+title: "Why can't I write `forall t: Test :: t.i == 1` for an object `t`?"
 ---
 
 ## Question:
 
-Why can't I write `forall t: Test :: t.i == 1` for an object t?
+Why can\'t I write `forall t: Test :: t.i == 1` for an object `t`?
 
 ## Answer:
 

diff --git a/latest/Installation.md b/latest/Installation.md
@@ -236,4 +236,4 @@ To setup Dafny to compile to python3:
 
 To separately compile and run your program for Python:
 - `dafny build -t:py MyProgram.dfy`
-- `python3 MyProgram-py/MyProgram.py
+- `python3 MyProgram-py/MyProgram.py`
diff --git a/latest/OnlineTutorial/Lemmas.md b/latest/OnlineTutorial/Lemmas.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Lemmas and Induction
+---
 
 # Lemmas and Induction
 

diff --git a/latest/OnlineTutorial/Modules.md b/latest/OnlineTutorial/Modules.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Modules
+---
 
 # Modules
 

diff --git a/latest/OnlineTutorial/Sequences.md b/latest/OnlineTutorial/Sequences.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sequences
+---
 
 # Sequences
 

diff --git a/latest/OnlineTutorial/Sets.md b/latest/OnlineTutorial/Sets.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sets
+---
 
 # Sets
 

diff --git a/latest/OnlineTutorial/Termination.md b/latest/OnlineTutorial/Termination.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Termination
+---
 
 # Termination
 

diff --git a/latest/OnlineTutorial/ValueTypes.md b/latest/OnlineTutorial/ValueTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Collection Types
+---
 
 # Collection Types
 

diff --git a/latest/OnlineTutorial/guide.md b/latest/OnlineTutorial/guide.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: "Getting Started with Dafny: A Guide"
+---
 
 # Getting Started with Dafny: A Guide
 

diff --git a/latest/QuickReference.md b/latest/QuickReference.md
@@ -1,5 +1,6 @@
-<p></p>
-<link rel="stylesheet" href="assets/main.css">
+---
+title: Dafny Quick Reference
+---
 
 # Dafny Quick Reference
 

diff --git a/v3.10.0/Compilation/AutoInitialization.md b/v3.10.0/Compilation/AutoInitialization.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Automatic Initialization of Variables
+---
 
 Automatic Initialization of Variables
 =====================================

diff --git a/v3.10.0/Compilation/Go.md b/v3.10.0/Compilation/Go.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Go
+---
 
 Dafny compilation to Go
 =======================

diff --git a/v3.10.0/Compilation/ReferenceTypes.md b/v3.10.0/Compilation/ReferenceTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation of trait and class
+---
 
 Dafny compilation of trait and class
 ====================================

diff --git a/v3.10.0/OnlineTutorial/Lemmas.md b/v3.10.0/OnlineTutorial/Lemmas.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Lemmas and Induction
+---
 
 # Lemmas and Induction
 

diff --git a/v3.10.0/OnlineTutorial/Modules.md b/v3.10.0/OnlineTutorial/Modules.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Modules
+---
 
 # Modules
 

diff --git a/v3.10.0/OnlineTutorial/Sequences.md b/v3.10.0/OnlineTutorial/Sequences.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sequences
+---
 
 # Sequences
 

diff --git a/v3.10.0/OnlineTutorial/Sets.md b/v3.10.0/OnlineTutorial/Sets.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sets
+---
 
 # Sets
 

diff --git a/v3.10.0/OnlineTutorial/Termination.md b/v3.10.0/OnlineTutorial/Termination.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Termination
+---
 
 # Termination
 

diff --git a/v3.10.0/OnlineTutorial/ValueTypes.md b/v3.10.0/OnlineTutorial/ValueTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Collection Types
+---
 
 # Collection Types
 

diff --git a/v3.10.0/OnlineTutorial/guide.md b/v3.10.0/OnlineTutorial/guide.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: "Getting Started with Dafny: A Guide"
+---
 
 # Getting Started with Dafny: A Guide
 

diff --git a/v3.10.0/QuickReference.md b/v3.10.0/QuickReference.md
@@ -1,5 +1,6 @@
-<p></p>
-<link rel="stylesheet" href="assets/main.css">
+---
+title: Dafny Quick Reference
+---
 
 # Dafny Quick Reference
 

diff --git a/v3.11.0/Compilation/AutoInitialization.md b/v3.11.0/Compilation/AutoInitialization.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Automatic Initialization of Variables
+---
 
 Automatic Initialization of Variables
 =====================================

diff --git a/v3.11.0/Compilation/Boogie.md b/v3.11.0/Compilation/Boogie.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Boogie
+---
 
 # Dafny compilation to Boogie
 

diff --git a/v3.11.0/Compilation/Go.md b/v3.11.0/Compilation/Go.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Go
+---
 
 Dafny compilation to Go
 =======================

diff --git a/v3.11.0/Compilation/ReferenceTypes.md b/v3.11.0/Compilation/ReferenceTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation of trait and class
+---
 
 Dafny compilation of trait and class
 ====================================

diff --git a/v3.11.0/Compilation/StringsAndChars.md b/v3.11.0/Compilation/StringsAndChars.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Strings and Characters
+---
 
 # Strings and Characters
 

diff --git a/v3.11.0/OnlineTutorial/Lemmas.md b/v3.11.0/OnlineTutorial/Lemmas.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Lemmas and Induction
+---
 
 # Lemmas and Induction
 

diff --git a/v3.11.0/OnlineTutorial/Modules.md b/v3.11.0/OnlineTutorial/Modules.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Modules
+---
 
 # Modules
 

diff --git a/v3.11.0/OnlineTutorial/Sequences.md b/v3.11.0/OnlineTutorial/Sequences.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sequences
+---
 
 # Sequences
 

diff --git a/v3.11.0/OnlineTutorial/Sets.md b/v3.11.0/OnlineTutorial/Sets.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Sets
+---
 
 # Sets
 

diff --git a/v3.11.0/OnlineTutorial/Termination.md b/v3.11.0/OnlineTutorial/Termination.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Termination
+---
 
 # Termination
 

diff --git a/v3.11.0/OnlineTutorial/ValueTypes.md b/v3.11.0/OnlineTutorial/ValueTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Collection Types
+---
 
 # Collection Types
 

diff --git a/v3.11.0/OnlineTutorial/guide.md b/v3.11.0/OnlineTutorial/guide.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: "Getting Started with Dafny: A Guide"
+---
 
 # Getting Started with Dafny: A Guide
 

diff --git a/v3.11.0/QuickReference.md b/v3.11.0/QuickReference.md
@@ -1,5 +1,6 @@
-<p></p>
-<link rel="stylesheet" href="assets/main.css">
+---
+title: Dafny Quick Reference
+---
 
 # Dafny Quick Reference
 

diff --git a/v3.12.0/Compilation/AutoInitialization.md b/v3.12.0/Compilation/AutoInitialization.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Automatic Initialization of Variables
+---
 
 Automatic Initialization of Variables
 =====================================

diff --git a/v3.12.0/Compilation/Boogie.md b/v3.12.0/Compilation/Boogie.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Boogie
+---
 
 # Dafny compilation to Boogie
 

diff --git a/v3.12.0/Compilation/Go.md b/v3.12.0/Compilation/Go.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation to Go
+---
 
 Dafny compilation to Go
 =======================

diff --git a/v3.12.0/Compilation/ReferenceTypes.md b/v3.12.0/Compilation/ReferenceTypes.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Dafny compilation of trait and class
+---
 
 Dafny compilation of trait and class
 ====================================

diff --git a/v3.12.0/Compilation/StringsAndChars.md b/v3.12.0/Compilation/StringsAndChars.md
@@ -1,4 +1,6 @@
-<p></p> <!-- avoids duplicate title -->
+---
+title: Strings and Characters
+---
 
 # Strings and Characters