forked from souffle-lang/souffle-lang.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
_config.yml
126 lines (95 loc) · 3.45 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
repository: https://github.com/souffle-lang/souffle
output: web # this property is useful for conditional filtering of content that is separate from the PDF.
topnav_title: Soufflé
# this appears on the top navigation bar next to the home button
timezone: Australia/Sydney
site_title: Soufflé • A Datalog Synthesis Tool for Static Analysis
# this appears in the html browser tab for the site title (seen mostly by search engines, not users)
#company_name: Your company
# this appears in the footer
github_editme_path: souffle-lang/souffle-lang.github.io/blob/master/
# if you're using Github, provide the basepath to the branch you've created for reviews, following the sample here. if not, leave this value blank.
# gitlab_editme_path: tomjoht/documentation-theme-jekyll/blob/gh-pages/
# if you're using GitLab, provide the basepath to the branch you've created for reviews, following the sample here. if not, leave this value blank.
#disqus_shortname: idratherbewriting
# if you're using disqus for comments, add the shortname here. if not, leave this value blank.
#google_analytics: UA-66296557-1
# if you have google-analytics ID, put it in. if not, edit this value to blank.
host: 127.0.0.1
# the preview server used. Leave as is.
port: 4000
# the port where the preview is rendered. You can leave this as is unless you have other Jekyll builds using this same port that might cause conflicts. in that case, use another port such as 4006.
exclude:
- .idea/
- .gitignore
- vendor
# these are the files and directories that jekyll will exclude from the build
feedback_subject_line: Souffle documentation theme
feedback_email:
# used as a contact email for the Feedback link in the top navigation bar
feedback_disable: true
# if you uncomment the previous line, the Feedback link gets removed
# feedback_text: "Need help?"
# if you uncomment the previous line, it changes the Feedback text
# feedback_link: "http://helpy.io/"
# if you uncomment the previous line, it changes where the feedback link points to
highlighter: rouge
# library used for syntax highlighting
markdown: kramdown
kramdown:
input: GFM
auto_ids: true
hard_wrap: false
syntax_highlighter: rouge
# filter used to process markdown. note that kramdown differs from github-flavored markdown in some subtle ways
collections:
tooltips:
output: false
# collections are declared here. this renders the content in _tooltips and processes it, but doesn't output it as actual files in the output unless you change output to true
defaults:
-
scope:
path: ""
type: "pages"
values:
layout: "page"
comments: true
search: true
sidebar: home_sidebar
topnav: topnav
-
scope:
path: ""
type: "tooltips"
values:
layout: "page"
comments: true
search: true
tooltip: true
-
scope:
path: ""
type: "posts"
values:
layout: "post"
comments: true
search: true
sidebar: home_sidebar
topnav: topnav
# these are defaults used for the frontmatter for these file types
sidebars:
- home_sidebar
- docs_sidebar
- mydoc_sidebar
- product1_sidebar
- product2_sidebar
- other
description: Soufflé synthesizes a parallel C++ program from a declarative Datalog program
# the description is used in the feed.xml file
# needed for sitemap.xml file only
# url: http://idratherbewriting.com
# baseurl: /documentation-theme-jekyll
github: [metadata]
twitter:
username: soufflelang
logo: /img/logo-2x.png