Merge pull request #788 from lean-ja/Seasawher/issue783

PDF 版を生成しない

.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

.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` 配下に配置します。

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サイト利用情報を収集しますが、これは匿名化されており、個人を特定する情報は収集されません。