diff options
Diffstat (limited to 'doc/user/intr.t')
-rw-r--r-- | doc/user/intr.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/intr.t b/doc/user/intr.t index 9ce9c1f723..6c4b946287 100644 --- a/doc/user/intr.t +++ b/doc/user/intr.t @@ -271,7 +271,7 @@ when the vector was first capture. @ifset is-C Passing a NULL pointer as the @code{old_handler} address and this parameter will be ignored. -@endif +@end ifset @subheading NOTES: |