Gemfile

source "https://rubygems.org"

# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: BSD-2-Clause

# Hello! This is where you manage which Jekyll version is used to run.
# When you want to use a different version, change it below, save the
# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
#
#     bundle exec jekyll serve
#
# This will help ensure the proper Jekyll version is running.
# Happy Jekylling!
gem "jekyll", "~> 4.0.0"

# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
# uncomment the line below. To upgrade, run `bundle update github-pages`.
# gem "github-pages", group: :jekyll_plugins

# If you have any plugins, put them here!
# Look here for supported github plugins: https://pages.github.com/versions/
group :jekyll_plugins do
  gem "jekyll-titles-from-headings", "0.5.3"
  gem "jekyll-relative-links", "0.6.1"
  gem "jekyll-optional-front-matter", "0.3.2"
  gem "jekyll-sitemap", "1.4.0"
  gem 'jekyll-toc', "0.5.2"
  gem 'jekyll-redirect-from'
  gem 'jekyll-remote-theme'
end

# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
gem 'tzinfo-data', platforms: [:mingw, :mswin, :x64_mingw, :jruby]