diff options
| author | Iñaki <1238558+garetxe@users.noreply.github.com> | 2020-04-25 23:38:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-25 18:38:11 -0400 |
| commit | 3c9e8081228ffcc38c760a6d9501a626071a5105 (patch) | |
| tree | a2adb031d6fe8e5dd20e0c0c263fd872347e7c09 /hoogle-test/src/Bug992 | |
| parent | 5bc5016a14bc872a8315cddc629f8171a9ccd62e (diff) | |
Add support for custom section anchors (#1179)
This allows to have stable anchors for groups, even if the set of
groups in the documentation is altered.
The syntax for setting the anchor of a group is
-- * Group name #desiredAnchor#
Which will produce an html anchor of the form '#g:desiredAnchor'
Co-authored-by: Iñaki García Etxebarria <git@inaki.blueleaf.cc>
Diffstat (limited to 'hoogle-test/src/Bug992')
0 files changed, 0 insertions, 0 deletions