lean ja のウェブサイトです。

ローカルにプレビューする方法を書きます。

STEP1 このサイトは Rust 製の静的サイトジェネレータである、Zola を用いています。まずインストール手順に従って Zola をインストールします。

STEP2 このリポジトリを clone します。下記コマンドを実行してください。

git clone --recursive https://github.com/lean-ja/lean-ja.github.io.git

--recursive フラグは、含まれている　git submodule も同時に clone するために必要です。このリポジトリは、Zola の juice テーマを submodule 経由で利用しています。

STEP3 zola serve を実行し、Web server is available at ... とあるところをクリックします。