datalog-specs

GitHub Pages source for datalog-specs.info.

Building Locally

The book uses mdbook for formatting and once installed the following is all that's necessary to compile to HTML. To install, ensure you have the Rust toolchain and use the following.

❯ cargo install mdbook

❯ cd book
❯ mdbook build
2020-07-30 08:40:23 [INFO] (mdbook::book): Book building has started
2020-07-30 08:40:23 [INFO] (mdbook::book): Running the html backend

The following will start a local server to host the built content. This command also watches the source file system for changes and performs a build on any updates.

❯ mdbook serve
2020-07-30 08:40:54 [INFO] (mdbook::book): Book building has started
2020-07-30 08:40:54 [INFO] (mdbook::book): Running the html backend
2020-07-30 08:40:54 [INFO] (mdbook::cmd::serve): Serving on: http://localhost:3000
2020-07-30 08:40:54 [INFO] (warp::server): Server::run; addr=V6([::1]:3000)
2020-07-30 08:40:54 [INFO] (warp::server): listening on http://[::1]:3000
2020-07-30 08:40:54 [INFO] (mdbook::cmd::watch): Listening for changes…