https://github.com/learnlib/learnlib.github.io

The source code of the learnlib.de website
https://github.com/learnlib/learnlib.github.io

Last synced: 4 days ago
JSON representation

The source code of the learnlib.de website

• Host: GitHub
• URL: https://github.com/learnlib/learnlib.github.io
• Owner: LearnLib
• License: apache-2.0
• Created: 2023-11-21T23:08:59.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-11-09T13:32:26.000Z (3 months ago)
• Last Synced: 2024-11-09T14:29:04.027Z (3 months ago)
• Language: SCSS
• Homepage: https://learnlib.de/
• Size: 15 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# learnlib.github.io

The source code of the [learnlib.de](https://learnlib.de/) website.

## Build instructions

You may either follow the [GitHub Pages documentation](https://docs.github.com/en/pages) 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.