Merge pull request #28 from Rocket-Rescue-Node/daniel-pin-mdbook

build: pin mdbook version in CI, refresh doc build, attribute as generated
Rocket-Rescue-Node · Dec 5, 2023 · bb6c674 · bb6c674
2 parents ada0e64 + ee4d141
commit bb6c674
Show file tree

Hide file tree

Showing 15 changed files with 113 additions and 20 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,5 @@
+# Hint that these are generated. Practically this means:
+# - collapse diffs by default and
+# - don't count these during language analysis
+#  https://docs.github.com/en/repositories/working-with-files/managing-files/customizing-how-changed-files-appear-on-github
+public/docs/** linguist-generated=true
diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1
         with:
-          mdbook-version: 'latest'
+          mdbook-version: '0.4.36'
       - run: mdbook build ./docs -d ${GITHUB_WORKSPACE}/public/docs
       - name: Check if rebuilding the book creates a diff
         run: |

diff --git a/public/docs/404.html b/public/docs/404.html
diff --git a/public/docs/about.html b/public/docs/about.html
diff --git a/public/docs/css/chrome.css b/public/docs/css/chrome.css
diff --git a/public/docs/css/variables.css b/public/docs/css/variables.css
diff --git a/public/docs/donate.html b/public/docs/donate.html
diff --git a/public/docs/faq.html b/public/docs/faq.html
diff --git a/public/docs/highlight.js b/public/docs/highlight.js
diff --git a/public/docs/index.html b/public/docs/index.html
diff --git a/public/docs/randt.html b/public/docs/randt.html
diff --git a/public/docs/tandc.html b/public/docs/tandc.html
diff --git a/public/docs/tech-specs/SUMMARY.html b/public/docs/tech-specs/SUMMARY.html
diff --git a/public/docs/tech-specs/original-tech-spec.html b/public/docs/tech-specs/original-tech-spec.html
diff --git a/public/docs/tech-specs/solo-validator-support.html b/public/docs/tech-specs/solo-validator-support.html