From 996452410bbe464ec7086fd8ddd4da2781dcfbc2 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Fri, 13 Sep 2024 23:21:38 +0900 Subject: [PATCH] =?UTF-8?q?PDF=20=E7=89=88=E3=82=92=E7=94=9F=E6=88=90?= =?UTF-8?q?=E3=81=97=E3=81=AA=E3=81=84?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fixes #783 --- .devcontainer/Dockerfile | 3 +- .github/CONTRIBUTING.md | 2 -- .github/workflows/pdf.yml | 68 --------------------------------------- README.md | 2 -- book-pdf.toml | 15 --------- scripts/GeneratePdf.ps1 | 15 --------- 6 files changed, 1 insertion(+), 104 deletions(-) delete mode 100644 .github/workflows/pdf.yml delete mode 100644 book-pdf.toml delete mode 100644 scripts/GeneratePdf.ps1 diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index d6557b74..c32b011c 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -20,5 +20,4 @@ ENV PATH=$PATH:$HOME/.cargo/bin # mdbook と mdbook のプラグインのインストール RUN cargo install --version 0.4.35 mdbook && \ - cargo install --version 1.18.0 mdbook-admonish && \ - cargo install mdbook-pdf + cargo install --version 1.18.0 mdbook-admonish diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index f377af53..86708179 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -6,7 +6,6 @@ * [mdbook](https://github.com/rust-lang/mdBook) を使用して markdown ファイルから HTML を生成しています。以下のプラグインを使用しています。 * [mdbook-admonish](https://github.com/tommilligan/mdbook-admonish) を使用してカードを表示させています。 - * [HollowMan6/mdbook-pdf](https://github.com/HollowMan6/mdbook-pdf) を使用して PDF 版を生成しています。PDF 版の生成以外には使用していません。 > [!IMPORTANT] > 開発に使用する mdbook のバージョンは `0.4.35` に固定してください。`0.4.35` 以外のバージョンではレイアウトが崩れます。 @@ -24,7 +23,6 @@ * 地の文はですます調とし、コード例の中の文章は常体とします。 * 読点には `、` を、句点には `。` を使用します。ただし例外として、直前の文字が半角文字であるときには `、` の代わりに半角カンマ `,` を使用します。 -* 見出しの中でインラインコードを使用すると、PDF版で見栄えが悪くなるので避けてください。 * 見出し語 `foo` に対して、目次の中での記事の名前は `foo: (日本語による一言説明)` とします。可能な限り１行に収まるようにしてください。 * 目次である `src/SUMMARY.md` の内の記事は、カテゴリごとにアルファベット昇順に並べてください。VSCode だと [Tyriar.sort-lines](https://marketplace.visualstudio.com/items?itemName=Tyriar.sort-lines) という拡張機能があって、並び替えを自動で行うことができます。 * Lean コードは、コンパイルが通るようにして `Examples` 配下に配置します。 diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml deleted file mode 100644 index 1c530dd1..00000000 --- a/.github/workflows/pdf.yml +++ /dev/null @@ -1,68 +0,0 @@ -name: Generate PDF - -on: - pull_request: - branches: - - main - push: - branches: - - main - workflow_dispatch: - -jobs: - build_pdf: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - - name: Install elan - run: | - curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none - echo "$HOME/.elan/bin" >> $GITHUB_PATH - - - name: Setup mdBook - uses: peaceiris/actions-mdbook@v2 - with: - mdbook-version: '0.4.35' - - - name: setup chrome - uses: browser-actions/setup-chrome@v1 - with: - install-chromedriver: true - - - name: install font - run: | - sudo apt update - sudo apt install -y fonts-noto-cjk fonts-ipafont - wget https://github.com/cormullion/juliamono/releases/download/v0.048/JuliaMono.zip - unzip JuliaMono.zip -d JuliaMono - sudo cp JuliaMono/*.ttf /usr/local/share/fonts/ - sudo fc-cache -f -v - shell: bash - - - name: build markdown - run: lake run build - - - name: install mdbook-admonish - uses: baptiste0928/cargo-install@v3 - with: - crate: mdbook-admonish - version: '1.18.0' - - - name: install mdbook-pdf - uses: baptiste0928/cargo-install@v3 - with: - crate: mdbook-pdf - version: '0.1.8' - - - name: build PDF - run: ./scripts/GeneratePdf.ps1 - shell: pwsh - - - name: Upload PDF to artifact storage - uses: actions/upload-artifact@v4 - with: - name: "book pdf" - path: "./book/pdf/LeanByExample.pdf" - if-no-files-found: error diff --git a/README.md b/README.md index d01a9798..b56601ad 100644 --- a/README.md +++ b/README.md @@ -34,8 +34,6 @@ If you use this book for your work, please cite it as follows: } ``` -As this book is a website, the content changes on a daily basis. A PDF version is generated for each commit by the [Generate PDF workflow](./.github/workflows/pdf.yml). Use this as a citation if necessary. - ## プライバシーポリシー 当 Web サイトでは、ユーザーのアクセス状況の分析のために Google アナリティクスを使用しています。Google アナリティクスは、 Cookie を利用してユーザーのWebサイト利用情報を収集しますが、これは匿名化されており、個人を特定する情報は収集されません。 diff --git a/book-pdf.toml b/book-pdf.toml deleted file mode 100644 index fe75c099..00000000 --- a/book-pdf.toml +++ /dev/null @@ -1,15 +0,0 @@ -# mdbook-pdf の設定を追加すると mdbook build 実行時に毎回 PDF が生成されてしまう -# それを避けるために、このファイルに設定内容を避難させている -[output.html.print] -enable = true - -[output.pdf] -theme = "light" -display-header-footer = false -print-background = true -margin-top = 0.5 -margin-bottom = 0.5 -margin-left = 0.0 -margin-right = 0.0 -scale = 0.8 -prefer-css-page-size = true diff --git a/scripts/GeneratePdf.ps1 b/scripts/GeneratePdf.ps1 deleted file mode 100644 index 05d15996..00000000 --- a/scripts/GeneratePdf.ps1 +++ /dev/null @@ -1,15 +0,0 @@ -# book.toml を動的に書き換える -Get-Content -Path "book-pdf.toml" | Add-Content -Path "book.toml" - -# mdbook build を実行するが、 -# このとき mdbook-pdf というバックエンドが使われてPDFの生成が行われる -mdbook build - -# 古いPDFがもしあれば削除する -Remove-Item -Path "book/pdf/LeanByExample.pdf" -Force -ErrorAction SilentlyContinue - -# ファイル名を変更する -Rename-Item -Path "book/pdf/output.pdf" -NewName "LeanByExample.pdf" - -# 書き換えられた book.toml を元に戻す -git checkout -- book.toml