diff options
Diffstat (limited to 'Docs/Support/docbook-fixup.pl')
| -rwxr-xr-x | Docs/Support/docbook-fixup.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/Support/docbook-fixup.pl b/Docs/Support/docbook-fixup.pl index f9934822f40..48ab085ad3e 100755 --- a/Docs/Support/docbook-fixup.pl +++ b/Docs/Support/docbook-fixup.pl @@ -38,7 +38,7 @@ $data =~ s/FIXUPmdashFIXUP/\&mdash\;/g; $data =~ s/FIXUPdoubledashFIXUP/--/g; -$data =~ s/FIXUPstrongFIXUP/<emphasis\ role\=bold>/g; +$data =~ s/FIXUPstrongFIXUP/<emphasis\ role\=\"bold\">/g; $data =~ s/FIXUPendstrongFIXUP/<\/emphasis>/g; $data =~ s/FIXUPemphFIXUP/<emphasis>/g; |