@@ -733,10 +733,10 @@ Options affecting specific writers
734`--id-prefix=`*STRING*
734`--id-prefix=`*STRING*
736−: Specify a prefix to be added to all automatically generated identifiers
736+: Specify a prefix to be added to all identifiers and internal links
737− in HTML and DocBook output, and to footnote numbers in Markdown output.
737+ in HTML and DocBook output, and to footnote numbers in Markdown
738− This is useful for preventing duplicate identifiers when generating
738+ and Haddock output. This is useful for preventing duplicate
739− fragments to be included in other pages.
739+ identifiers when generating fragments to be included in other pages.
741`-T` *STRING*, `--title-prefix=`*STRING*
741`-T` *STRING*, `--title-prefix=`*STRING*