forked from seL4/docs
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path_config.yml
More file actions
113 lines (96 loc) · 3.31 KB
/
_config.yml
File metadata and controls
113 lines (96 loc) · 3.31 KB
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
# 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
url: "" # the base hostname & protocol for your site, e.g. http://example.com
git_repo: https://github.com/SEL4PROJ/docs
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:
-sel4_release
-camkes_release
collections:
sel4_release:
output: true
camkes_release:
output: true
sel4_master: "10.1.0"
sel4_mcs: "9.0.0-mcs"
camkes: "3.6.0"
# Front matter defaults:
defaults:
- scope:
path: ""
type: sel4_release
values:
layout: "release"
- scope:
path: ""
type: camkes_release
values:
layout: "release"
-
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.
theme: jekyll-theme-bootstrap
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
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