-
Notifications
You must be signed in to change notification settings - Fork 52
/
_config.yml
131 lines (115 loc) · 3.69 KB
/
_config.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: BSD-2-Clause
#
# Welcome to Jekyll!
#
# This config file is meant for settings that affect your whole blog, values
# which you are expected to set up once and rarely edit after that. If you find
# yourself editing this file very often, consider using Jekyll's data files
# feature for the data you need to update frequently.
#
# For technical reasons, this file is *NOT* reloaded automatically when you use
# 'bundle exec jekyll serve'. If you change this file, please restart the server process.
# Site settings
# These are used to personalize your new site. If you look in the HTML files,
# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on.
# You can create any custom variable you would like, and they will be accessible
# in the templates via {{ site.myvariable }}.
title: seL4 docs
baseurl: "" # the subpath of your site, e.g. /blog
git_repo: https://github.com/seL4/docs
url: "https://docs.sel4.systems"
static_url: "https://docs.sel4.systems"
google_analytics: UA-117737473-2
description: "This site is for displaying seL4 related documentation. Pull requests are welcome."
github_username:
- "sel4"
- "sel4proj"
collections_dir: content_collections
collections:
releases:
output: true
dependencies:
output: false
updates:
output: true
status:
output: true
sel4: "13.0.0"
camkes: "camkes-3.11.0"
capdl: "0.3.0"
microkit: "1.4.1"
# Front matter defaults:
defaults:
- scope:
path: ""
type: releases
values:
layout: "release"
- scope:
path: ""
type: updates
values:
layout: "release"
- scope:
path: ""
type: status
values:
layout: "release"
- scope:
path: "projects"
type: "pages"
values:
layout: "project"
-
scope:
path: ""
values:
layout: "default"
# Build/plugin settings. These settings configure plugins.
# Themes and plugins transparently add files to the site project. To see what plugins
# are being used run `bundle show`. To see what files are contributed by each plugin:
# ls `bundle show $plugin_name`
# The jekyll-theme-bootstrap dependency probably contributes the most files to site generation, so it would
# be the first place to look if something weird is happening with layout/theming.
# This theme provides a sass port of bootstrap that is imported using our assets/css/style.scss file.
remote_theme: matrixfox/[email protected]
markdown: Kramdown
plugins:
# Sets the page title to the first heading. Removes need for title to be set in every file
- jekyll-titles-from-headings
# Converts markdown relative links to valid html urls.
- jekyll-relative-links
# Default includes .md files to be templated without needing the --- front matter.
- jekyll-optional-front-matter
# Adds a sitemap.xml to site for webcrawlers
- jekyll-sitemap
# Adds a table of contents to top of page if toc: true is set in the front matter.
- jekyll-toc
# Allow multiple urls to redirect to a single page
- jekyll-redirect-from
- jekyll-remote-theme
toc:
min_level: 2 # default: 1
max_level: 5 # default: 6
kramdown:
input: GFM
breadcrumbs:
root:
hide: false # show breadcrumbs on root/home page
image: false # Show image or title text
optional_front_matter:
# Set this to false if you want .md files to be accessible also
remove_originals: true
# Exclude files from processing. dotfiles don't seem to be included by default
exclude:
- Gemfile
- Gemfile.lock
- dependencies
- Makefile
- README.md
- LICENSE.txt
- tools/
- assets/css/highlighting/demos
- assets/css/highlighting/tools
- assets/css/highlighting/index.html