-
-
Notifications
You must be signed in to change notification settings - Fork 93
/
book.toml
52 lines (45 loc) · 1.81 KB
/
book.toml
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
[book]
title = "Pan Docs"
description = "The single, most comprehensive technical reference to Game Boy available to the public."
language = "en"
multilingual = false
src = "src"
[build]
build-dir = "docs"
create-missing = true # This is kept for convenience, but CI sets it to false
use-default-preprocessors = false
[preprocessor.graph_gen]
command = "src/imgs/src/preproc.py"
before = [ "links" ] # This generates some of the files that get `{{#include}}`d
# `{{#include }}` etc. resolution
[preprocessor.links]
# Custom preprocessor for internal links processing and other custom markup
[preprocessor.pandocs]
command = "cargo run -p pandocs-preproc --locked --release --"
after = [ "links" ]
# Custom back-end to generate the single-file version and scrub off some generated files
[output.pandocs]
command = "cargo run -p pandocs-renderer --locked --release --"
# This configuration will be used by the HTML renderer invoked by the
[output.html]
additional-css = [
"custom/style.css",
]
# rgbasm.min.js gets injected into highlight.js by the renderer
smart-punctuation = true
print = { enable = true }
fold = { enable = true, level = 0 }
git-repository-url = "https://github.com/gbdev/pandocs"
edit-url-template = "https://github.com/gbdev/pandocs/edit/master/{path}"
site-url = "/pandocs/"
[output.linkcheck]
follow-web-links = true
traverse-parent-directories = false
optional = true
warning-policy = "warn"
exclude = [
'https://github\.com/gbdev/pandocs/tree/', # Do not check the "this was generated from commit N" link, as the commit may not have been pushed yet
'print.html', # Do not check the print page, as it is generated separately
'single.html', # Do not check the single page, as it is generated separately
'http[s]*://problemkaputt\.de', # Skip checking problemkaputt.de, as connection to this domain is generally unreliable
]