https://github.com/gebner/mkleanbook
https://github.com/gebner/mkleanbook
Last synced: over 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/gebner/mkleanbook
- Owner: gebner
- License: apache-2.0
- Created: 2016-10-23T15:48:13.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2016-11-21T20:32:02.000Z (over 9 years ago)
- Last Synced: 2025-02-16T10:44:37.962Z (over 1 year ago)
- Language: JavaScript
- Size: 7.11 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
Lean Book Maker
===============
This allows you to make your own Lean tutorial, complete with syntax
highlighting and an interactive editor in the browser!
```
cd mkleanbook/example
make
```
How to use it in your own tutorial
----------------------------------
Check out the `example` subdirectory for a minimal setup You only need
to adjust the `MKLEANBOOK_PATH` variable in the Makefile to point to your
checkout of `mkleanbook`. (We usually keep `mkleanbook` as a git submodule.)