Skip to content

Commit c1de703

Browse files
committed
Test admonition in Material for MkDocs
1 parent dd8a0ed commit c1de703

File tree

2 files changed

+12
-8
lines changed

2 files changed

+12
-8
lines changed

doc/GUIDE.md

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1330,12 +1330,14 @@ But that won't load up locally written modules for access. For that, use the
13301330
`stack ghci` command or its synonym `stack repl`. To then load modules from your
13311331
project, use the `:m` command (for "module") followed by the module name.
13321332

1333-
IMPORTANT NOTE: If you have added upstream packages to your project please make
1334-
sure to mark them as *dependency package*s for faster and reliable usage of
1335-
`stack ghci`. Otherwise GHCi may have trouble due to conflicts of compilation
1336-
flags or having to unnecessarily interpret too many modules. See
1337-
[stack.yaml documentation](yaml_configuration.md#packages) to learn how to mark
1338-
a package as a *dependency package*.
1333+
!!! note
1334+
1335+
If you have added upstream packages to your project please make sure to mark
1336+
them as *dependency package*s for faster and reliable usage of `stack ghci`.
1337+
Otherwise GHCi may have trouble due to conflicts of compilation flags or
1338+
having to unnecessarily interpret too many modules. See
1339+
[stack.yaml documentation](yaml_configuration.md#packages) to learn how to
1340+
mark a package as a *dependency package*.
13391341

13401342
## The `stack ghc` and `stack runghc` commands
13411343

mkdocs.yml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,10 +62,12 @@ nav:
6262
- Glossary: glossary.md
6363

6464
markdown_extensions:
65-
- toc:
66-
permalink: true
65+
- admonition
66+
- pymdownx.details
6767
- pymdownx.highlight:
6868
anchor_linenums: true
6969
- pymdownx.inlinehilite
7070
- pymdownx.snippets
7171
- pymdownx.superfences
72+
- toc:
73+
permalink: true

0 commit comments

Comments
 (0)