/learnlib.github.io

The source code of the learnlib.de website

Primary LanguageSCSSApache License 2.0Apache-2.0

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.