aboutsummaryrefslogtreecommitdiffstats
path: root/man1
diff options
context:
space:
mode:
authorMichael Kerrisk <mtk.manpages@gmail.com>2014-06-18 15:38:13 +0200
committerMichael Kerrisk <mtk.manpages@gmail.com>2014-06-18 15:38:13 +0200
commiteb9a0b2f7523fb33ff1f7a8fffc313a05a60ea08 (patch)
tree3f4690ab14a400bbec7dc5bb92c9b18188dc5f8b /man1
parent6807fc6f8a4cd44d802e4889036b7d9b28728bc3 (diff)
downloadman-pages-eb9a0b2f7523fb33ff1f7a8fffc313a05a60ea08.tar.gz
intro.1, gettimeofday.2, mkdir.2, nice.2, setresuid.2, stime.2, adjtime.3, getttyent.3, proc.5: tfix
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man1')
-rw-r--r--man1/intro.12
1 files changed, 1 insertions, 1 deletions
diff --git a/man1/intro.1 b/man1/intro.1
index 72d905240f..20d36d73a7 100644
--- a/man1/intro.1
+++ b/man1/intro.1
@@ -50,7 +50,7 @@ Linux is a flavor of UNIX, and as a first approximation
all user commands under UNIX work precisely the same under
Linux (and FreeBSD and lots of other UNIX-like systems).
.LP
-Under Linux there are GUIs (graphical user interfaces), where you
+Under Linux, there are GUIs (graphical user interfaces), where you
can point and click and drag, and hopefully get work done without
first reading lots of documentation.
The traditional UNIX environment