README

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

開発方法

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

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

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

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

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

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