diff --git a/book/.github/workflows/gh-pages.yml b/book/.github/workflows/gh-pages.yml deleted file mode 100644 index 09fc75031..000000000 --- a/book/.github/workflows/gh-pages.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: Deploy - -on: - push: - branches: - - main - pull_request: - -jobs: - deploy: - runs-on: ubuntu-latest - concurrency: - group: ${{ github.workflow }}-${{ github.ref }} - steps: - - uses: actions/checkout@v2 - - - name: Setup mdBook - uses: peaceiris/actions-mdbook@v1 - with: - mdbook-version: 'latest' - - - run: mdbook build && mdbook build archive -d ../book/archive - - - name: Deploy - uses: peaceiris/actions-gh-pages@v3 - if: github.ref == 'refs/heads/main' - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./book diff --git a/book/theme/book.js b/book/theme/book.js deleted file mode 100644 index 9fd3befc0..000000000 --- a/book/theme/book.js +++ /dev/null @@ -1,750 +0,0 @@ -"use strict"; - -// Fix back button cache problem -window.onunload = function () { }; - -(() => { - console.log(1234); - for(let o of document.querySelectorAll('strong')) { - console.log(1234); - if(o.innerText != 'user-checkable') - continue; - let node = document.createElement('input'); - node.type = 'checkbox'; - node.classList.add('user-checkable-checkbox'); - o.parentElement.replaceChild(node, o); - } -})(); - -(() => { - let id = 0; - for(let fst of document.querySelectorAll('pre + pre')) { - let parent = fst.parentElement; - let rust = fst.previousElementSibling; - let w = s => `