diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2019-07-22 07:41:57 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2019-07-22 07:41:57 -0700 |
commit | 6c85ef51f69605ff304bbc6a481d2fd520644eab (patch) | |
tree | 7cc8ec9269ed16c74f34d361e38aeadf31034217 | |
parent | b6e538ebf27b8944082a6736f2a6eefdacdbefe9 (diff) | |
download | txr-6c85ef51f69605ff304bbc6a481d2fd520644eab.tar.gz txr-6c85ef51f69605ff304bbc6a481d2fd520644eab.tar.bz2 txr-6c85ef51f69605ff304bbc6a481d2fd520644eab.zip |
doc: wording under dir-name.
* txr.1: the term "raw directory path" has not been
introduced; it is a typo for "raw directory prefix".
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -48280,7 +48280,7 @@ Otherwise, the effective path is divided into two parts: the .I "raw directory prefix" and the remainder. -The raw directory path is the maximally long prefix of the effective +The raw directory prefix is the maximally long prefix of the effective path which ends in a separator character. The |