From a963118217a20786f390cef7f5a65d430fb6c872 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Mon, 20 May 2019 11:41:18 +0100 Subject: [PATCH] Close #235 --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 95424086..85d2ac12 100644 --- a/README.md +++ b/README.md @@ -44,14 +44,17 @@ To build and host a local copy of the book, there are several tools you need *in For most of the tools, you can simply follow their respective build instructions. Most recent versions of Ruby should work. - We advise installing agda2html using [Stack](https://docs.haskellstack.org/en/stable/README/): git clone https://github.com/wenkokke/agda2html.git cd agda2html stack install -Once you have installed these tools, you can build the book from source: +Finally, you must install the Ruby dependencies---[Jekyll](https://jekyllrb.com/), [html-proofer](https://github.com/gjtorikian/html-proofer), *etc.*---using Bundler: + + bundle install + +Once you have installed all of the dependencies, you can build a copy of the book by running: make build