Change "path name" to "pathname"

[thirdparty/man-pages.git] / man1 / intro.1

diff --git a/man1/intro.1 b/man1/intro.1
index 338600478f22161f2d792435c4048769cc0b46d3..65b5d57ea76409e8e438727cb0caba76b2d9a1af 100644 (file)
--- a/man1/intro.1
+++ b/man1/intro.1
@@ -163,13 +163,13 @@ The command
 .I grep
 (from "g/re/p") finds occurrences of a string in one or more files.
 Here it finds Maja's telephone number.
-.SS "Path names and the current directory"
+.SS "Pathnames and the current directory"
 Files live in a large tree, the file hierarchy.
 Each has a
-.I "path name"
+.I "pathname"
 describing the path from the root of the tree (which is called /)
-to the file. For example, such a full path name might be /home/aeb/tel.
-Always using full path names would be inconvenient, and the name
+to the file. For example, such a full pathname might be /home/aeb/tel.
+Always using full pathnames would be inconvenient, and the name
 of a file in the current directory may be abbreviated by only giving
 the last component. That is why "/home/aeb/tel" can be abbreviated
 to "tel" when the current directory is "/home/aeb".