diff options
-rw-r--r-- | doc/macros.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/macros.texi b/doc/macros.texi index 7c2d597..bea11be 100644 --- a/doc/macros.texi +++ b/doc/macros.texi @@ -176,3 +176,9 @@ This system has maintenance concerns. @macro xmlattr{name} @samp{@@\name\} @end macro + + +@c text to avoid repeated e.g. ties and other formatting +@macro progxml +Program@tie{}XML +@end macro |