Include all theories and redirect to AOT from ROOT index.html.

ekpyron · May 9, 2024 · c747fb6 · c747fb6
1 parent 21cdd0a
commit c747fb6
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 3 deletions.
diff --git a/.github/workflows/index.html b/.github/workflows/index.html
@@ -0,0 +1,11 @@
+<<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<meta http-equiv="refresh" content="0; URL=AOT/AOT/index.html">
+<title>Redirect to AOT/AOT/index.html</title>
+</head>
+<body>
+<a href="AOT/AOT/index.html">Click here in case you are not redirected.</a>
+</body>
+</html>
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -22,9 +22,11 @@ jobs:
            docker run -v "$(pwd):/home/isabelle/AOT:rw" makarius/isabelle:Isabelle2023 build -D /home/isabelle/AOT -o browser_info -P /home/isabelle/AOT/output -e
            cp -r output build
       - name: Patch pages.
-        run: .github/workflows/patch_pages.py build/Unsorted/AOT/*.html
+        run: .github/workflows/patch_pages.py build/AOT/AOT/*.html
+      - name: Replace index.
+        run: cp .github/workflows/index.html build
       - name: Deploy github pages.
         uses: JamesIves/github-pages-deploy-action@4.1.4
         with:
           branch: gh-pages
-          folder: build/Unsorted/AOT
+          folder: build
diff --git a/ROOT b/ROOT
@@ -1,3 +1,4 @@
+chapter AOT
 session "AOT" = "HOL-Cardinals" +
   options [show_question_marks = false, names_short = true, browser_info, document_output = "output"]
   sessions
@@ -15,7 +16,7 @@ session "AOT" = "HOL-Cardinals" +
     AOT_ExtendedRelationComprehension
     AOT_PossibleWorlds
     AOT_NaturalNumbers
-	AOT_Possibilities
+	  AOT_Possibilities
     AOT_misc
   theories [document = false]
     ExportInfo