Skip to content

Latest commit

 

History

History
14 lines (10 loc) · 866 Bytes

README.md

File metadata and controls

14 lines (10 loc) · 866 Bytes
Raw

learnlib.github.io

The source code of the learnlib.de website.

Build instructions

You may either follow the GitHub Pages documentation to setup your Jekyll environment or follow the following steps which aim at a local development environment.

  • Install ruby and ruby-bundler via your paket manager
    • If your distribution does not provide a separate ruby-bundler package you may alternatively install the rubygems package and run gem install bundler
  • In the main repository folder, run bundle config set --local path '~/.local/share/gem'
  • In the main repository folder, run bundle install
  • Add ~/.local/share/gem/ruby/3.0.0/bin (path may change due to your ruby version) to your $PATH variable.
  • In the main repository folder, run jekyll serve to build the page locally.