mirror of https://github.com/seL4/docs.git
41 lines
1.2 KiB
Ruby
41 lines
1.2 KiB
Ruby
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"
|
|
|
|
# Other dependencies
|
|
gem "html-proofer", "~>4"
|
|
|
|
# Ruby 3.3 warns about these being moved out of std lib and recommends adding
|
|
# them here:
|
|
gem "base64"
|
|
gem "csv"
|
|
gem "bigdecimal"
|
|
|
|
# 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"
|
|
gem "jekyll-relative-links"
|
|
gem "jekyll-optional-front-matter"
|
|
gem "jekyll-sitemap"
|
|
gem 'jekyll-toc'
|
|
gem 'jekyll-redirect-from'
|
|
gem 'jekyll-remote-theme'
|
|
gem "jekyll-postcss-v2"
|
|
gem "jekyll-inline-svg"
|
|
end
|
|
|
|
# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
|
|
gem 'tzinfo-data', platforms: [:mingw, :mswin, :x64_mingw, :jruby]
|