diff options
Diffstat (limited to 'man1/intro.1')
| -rw-r--r-- | man1/intro.1 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/man1/intro.1 b/man1/intro.1 index a2e3ee3087..03649841df 100644 --- a/man1/intro.1 +++ b/man1/intro.1 @@ -75,8 +75,8 @@ See also .PP A session might go like: .PP -.RS -.nf +.in +4n +.EX .RB "knuth login: " aeb .RB "Password: " ******** .RB "$ " date @@ -116,8 +116,8 @@ drwxr\-xr\-x 2 aeb 1024 Aug 6 23:51 bin .RB "$ " "grep maja tel2" maja 0501\-1136285 $ -.fi -.RE +.EE +.in .PP Here typing Control-D ended the session. .PP |