mirror of https://github.com/seL4/docs.git
Remove gfm admonitions plugin
The plugin doesn't work with include files. Implement via includes instead. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
parent
b4ba424c1a
commit
f6467043da
1
Gemfile
1
Gemfile
|
@ -34,7 +34,6 @@ group :jekyll_plugins do
|
|||
gem 'jekyll-remote-theme'
|
||||
gem "jekyll-postcss-v2"
|
||||
gem "jekyll-inline-svg"
|
||||
gem "jekyll-gfm-admonitions"
|
||||
end
|
||||
|
||||
# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
|
||||
|
|
|
@ -7,7 +7,6 @@ GEM
|
|||
bigdecimal (3.1.9)
|
||||
colorator (1.1.0)
|
||||
concurrent-ruby (1.3.5)
|
||||
cssminify (1.0.2)
|
||||
csv (3.3.4)
|
||||
em-websocket (0.5.3)
|
||||
eventmachine (>= 0.12.9)
|
||||
|
@ -70,10 +69,6 @@ GEM
|
|||
safe_yaml (~> 1.0)
|
||||
terminal-table (>= 1.8, < 4.0)
|
||||
webrick (~> 1.7)
|
||||
jekyll-gfm-admonitions (1.2.0)
|
||||
cssminify (~> 1.0)
|
||||
jekyll (>= 3.0, < 5.0)
|
||||
octicons (~> 19.8)
|
||||
jekyll-inline-svg (1.1.5)
|
||||
jekyll (>= 3.3, < 5.0)
|
||||
svg_optimizer (~> 0.3.0)
|
||||
|
@ -126,7 +121,6 @@ GEM
|
|||
racc (~> 1.4)
|
||||
nokogiri (1.18.8-x86_64-linux-musl)
|
||||
racc (~> 1.4)
|
||||
octicons (19.15.3)
|
||||
parallel (1.27.0)
|
||||
pathutil (0.16.2)
|
||||
forwardable-extended (~> 2.6)
|
||||
|
@ -188,7 +182,6 @@ DEPENDENCIES
|
|||
csv
|
||||
html-proofer (~> 4)
|
||||
jekyll
|
||||
jekyll-gfm-admonitions
|
||||
jekyll-inline-svg
|
||||
jekyll-optional-front-matter
|
||||
jekyll-postcss-v2
|
||||
|
|
|
@ -85,9 +85,6 @@ plugins:
|
|||
- jekyll-postcss-v2
|
||||
# For icons
|
||||
- jekyll-inline-svg
|
||||
# For alerts (warning/note/info) in markdown
|
||||
- jekyll-gfm-admonitions
|
||||
|
||||
|
||||
toc:
|
||||
min_level: 2 # default: 1
|
||||
|
|
|
@ -110,9 +110,10 @@ jblogs@in-container:/host/build-x86$ ninja
|
|||
If you need to make any code modifications or commit things to git, use terminal
|
||||
A. If you need to recompile or simulate an image, use terminal B.
|
||||
|
||||
> [!NOTE]
|
||||
> If QEMU fails when trying to simulate the image, try configuring your
|
||||
> Docker host to give the container more memory.
|
||||
{% include note.html %}
|
||||
If QEMU fails when trying to simulate the image, try configuring your
|
||||
Docker host to give the container more memory.
|
||||
{% include endnote.html %}
|
||||
|
||||
## Adding dependencies
|
||||
|
||||
|
|
Loading…
Reference in New Issue