diff options
Diffstat (limited to 'man/man3/setjmp.3')
| -rw-r--r-- | man/man3/setjmp.3 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/man3/setjmp.3 b/man/man3/setjmp.3 index 0ed7845f..e2af5597 100644 --- a/man/man3/setjmp.3 +++ b/man/man3/setjmp.3 @@ -86,7 +86,7 @@ setlabel(void) } .EE .SH SOURCE -.B /usr/local/plan9/src/lib9/jmp.c +.B \*9/src/lib9/jmp.c .SH SEE ALSO .IR notify (3) .SH BUGS |