Fix docs

HEPLean · Apr 17, 2024 · 13e7bb0 · 13e7bb0
1 parent cf8c79d
commit 13e7bb0
Show file tree

Hide file tree

Showing 3 changed files with 38 additions and 11 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,7 +1,5 @@
 on: 
   push: 
-    branches: 
-      - master
 
 # borrowed from https://github.com/teorth/pfr/blob/master/.github/workflows/push.yml
 permissions: 

diff --git a/.gitignore b/.gitignore
@@ -1,10 +1,3 @@
 /build
 /lake-packages/*
-.lake/packages/aesop/
-.lake/packages/Cli/
-.lake/packages/importGraph/
-.lake/packages/mathlib/
-.lake/packages/proofwidgets/
-.lake/packages/Qq/
-.lake/packages/std/
-.lake/build
+/.lake/*
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -58,11 +58,47 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "75e48397bac997131ff37a8cb76dae141f67f5e2",
+   "rev": "625b8cb77561e007ba23b9838633129be50c1289",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
    "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/xubaiw/CMark.lean",
+   "type": "git",
+   "subDir": null,
+   "rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
+   "name": "CMark",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+   "type": "git",
+   "subDir": null,
+   "rev": "6a350f4ec7323a4e8ad6bf50736f779853d441e9",
+   "name": "UnicodeBasic",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/hargonix/LeanInk",
+   "type": "git",
+   "subDir": null,
+   "rev": "f1f904e00d79a91ca6a76dec6e318531a7fd2a0f",
+   "name": "leanInk",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "doc-gen",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover/doc-gen4",
+   "type": "git",
+   "subDir": null,
+   "rev": "a34d3c1f7b72654c08abe5741d94794db40dbb2e",
+   "name": "«doc-gen4»",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "hep_lean",
  "lakeDir": ".lake"}