Skip to content

MartinNowack/klee.github.io

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

80 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

KLEE Official Website

The KLEE website, built using Web Starter Kit and Jekyll.

Quickstart

You should have a reasonably recent version of Ruby (use RVM or rbenv to get one) and Bundler (included in RVM and rbenv, by default). You also have to install Node.js. If you get errors like Liquid Exception: EPIPE when you try to run Jekyll, set python 2.x as default (instead of 3.x).

Clone this repository and install all dependencies using:

$ bundle

Then, you can preview the site by running (at localhost:4000 by default):

$ bundle exec jekyll serve -w

To build the site, you can use:

$ bundle exec jekyll build

Contributing

Contributions, both to content and design are welcome and encouraged. To contribute, please submit a pull request.

License

Creative Commons Attribution 3.0 Unported (CC BY 3.0)

About

Documentation updates

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • CSS 75.6%
  • HTML 19.5%
  • Ruby 3.1%
  • JavaScript 1.8%