diff options
Diffstat (limited to '3rd-party/xfpt/share/stdflags')
| -rw-r--r-- | 3rd-party/xfpt/share/stdflags | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/3rd-party/xfpt/share/stdflags b/3rd-party/xfpt/share/stdflags new file mode 100644 index 000000000..577330cfe --- /dev/null +++ b/3rd-party/xfpt/share/stdflags @@ -0,0 +1,21 @@ +. These are the standard flag definitions for xfpt. +. +.flag &~ " " +.flag && "&" +.flag &-- "–" +. +.flag &' '& "<emphasis>" "</emphasis>" +.flag &* *& "<emphasis role=""bold"">" "</emphasis>" +. +.flag &( )& "<command>" "</command>" +.flag &_ _& "<filename>" "</filename>" +.flag &[ ]& "<function>" "</function>" +.flag &` `& "<literal>" "</literal>" +.flag &% %& "<option>" "</option>" +.flag &" "& "<quote>" "</quote>" +.flag &$ $& "<varname>" "</varname>" +. +.flag &< >& "<" ">" +.flag &<< >>& "<xref linkend=""" """/>" +. +. End |