diff options
| -rw-r--r-- | man5/ttytype.5 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man5/ttytype.5 b/man5/ttytype.5 index 356c26d721..bf07b08b30 100644 --- a/man5/ttytype.5 +++ b/man5/ttytype.5 @@ -21,7 +21,7 @@ terminal type names with tty lines. Each line consists of a terminal type, followed by whitespace, followed by a tty name (a device name without the -.IR /dev/ ") prefix." +.IR /dev/ prefix). .PP This association is used by the program .BR tset (1) |