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 /html-test/src/SectionLabels.hs | |
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 'html-test/src/SectionLabels.hs')
-rw-r--r-- | html-test/src/SectionLabels.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/html-test/src/SectionLabels.hs b/html-test/src/SectionLabels.hs new file mode 100644 index 00000000..560bafa4 --- /dev/null +++ b/html-test/src/SectionLabels.hs @@ -0,0 +1,8 @@ +module SectionLabels + ( + -- * Section heading#custom# + n + ) where + +n :: Int +n = 3 |