diff options
-rw-r--r-- | bin/xmlformat-fdp.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/xmlformat-fdp.conf b/bin/xmlformat-fdp.conf index 0e9f991..65b2707 100644 --- a/bin/xmlformat-fdp.conf +++ b/bin/xmlformat-fdp.conf @@ -76,7 +76,7 @@ firstterm indexterm format = block -# normalize = yes + normalize = no primary secondary format = block @@ -90,7 +90,7 @@ term entry-break = 0 exit-break = 0 -menuchoice guilabel guimenu guisubmenu guimenuitem guibutton +menuchoice guilabel guimenu guisubmenu guimenuitem guibutton keycap format = inline wordasword systemitem citetitle footnote |