docs: Document the new autoHeadingIDType setting
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 5 Jan 2020 11:07:36 +0000 (12:07 +0100)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 5 Jan 2020 11:10:12 +0000 (12:10 +0100)
commitd62ede8e9e5883e7ebb023e49b82f07b45edc1c7
treeaddcf30646c050926e7f49dcb7e6c2c518343cba
parent81b7e48a55092203aeee8785799e6fed3928760e
docs: Document the new autoHeadingIDType setting

See #6707
See #6616
docs/content/en/getting-started/configuration-markup.md