summaryrefslogtreecommitdiff
path: root/gcc/doc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/doc')
-rw-r--r--gcc/doc/extend.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 06bacec765d..162d27f3e0a 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -11897,7 +11897,7 @@ not used. Examples:
@example
#pragma disinterrupt foo
#pragma disinterrupt bar, grill
-int foo () { @dots{} }
+int foo () @{ @dots{} @}
@end example
@item GCC call @var{name} , @var{name} @dots{}