diff options
| author | Salim B <git@salim.space> | 2023-01-28 06:38:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-27 21:38:55 -0800 |
| commit | dba779cf1ff11c9bfa82dbca1eef7362c6b183b0 (patch) | |
| tree | 7c4bd59d82fa3f752c99c4ca4bbea44e374e7295 | |
| parent | ad3d7c19144b2bac7084499b8fd3a62aa0972a6e (diff) | |
Hyperlink reference to extension in manual (#8583)
| -rw-r--r-- | MANUAL.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 7bb4810ab..751dc2c5b 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -4202,8 +4202,8 @@ definition: Note that space between items in a definition list is required. (A variant that loosens this requirement, but disallows "lazy" -hard wrapping, can be activated with `compact_definition_lists`: see -[Non-default extensions], below.) +hard wrapping, can be activated with the [`compact_definition_lists` +extension][Extension: `compact_definition_lists`].) [^3]: I have been influenced by the suggestions of [David Wheeler](https://justatheory.com/2009/02/modest-markdown-proposal/). |