@@ -733,10 +733,10 @@ Options affecting specific writers
733733
734734`--id-prefix=`*STRING*
735735
736−: Specify a prefix to be added to all automatically generated identifiers
737− in HTML and DocBook output, and to footnote numbers in Markdown output.
738− This is useful for preventing duplicate identifiers when generating
739− fragments to be included in other pages.
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
738+ and Haddock output. This is useful for preventing duplicate
739+ identifiers when generating fragments to be included in other pages.
740740
741741`-T` *STRING*, `--title-prefix=`*STRING*
742742