# TODO: DocBook doesn't support several letters in the same file.
-Format 93
+Format 95
#(pre)declarations (just to impose some order on the menus)
Style Standard
DocBookTag date
DocBookTagType paragraph
DocBookInInfo always
+ DocBookNoFontInside true
End
#suppress date indication