@@ -415,8 +415,8 @@ Options affecting specific writers
416`--id-prefix`=*STRING*
416`--id-prefix`=*STRING*
417: Specify a prefix to be added to all automatically generated identifiers
417: Specify a prefix to be added to all automatically generated identifiers
418− in HTML output. This is useful for preventing duplicate identifiers
418+ in HTML and DocBook output. This is useful for preventing duplicate
419− when generating fragments to be included in other pages.
419+ identifiers when generating fragments to be included in other pages.
421`-T` *STRING*, `--title-prefix=`*STRING*
421`-T` *STRING*, `--title-prefix=`*STRING*
422: Specify *STRING* as a prefix at the beginning of the title
422: Specify *STRING* as a prefix at the beginning of the title