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 | 8656762261648b940bb5bb858933badd06b69c6b (patch) | |
| tree | 7cc8ec9269ed16c74f34d361e38aeadf31034217 | |
| parent | 31741b4cf50f75993faf20555343ca0a59d0ff9f (diff) | |
| download | txr-8656762261648b940bb5bb858933badd06b69c6b.tar.gz txr-8656762261648b940bb5bb858933badd06b69c6b.tar.bz2 txr-8656762261648b940bb5bb858933badd06b69c6b.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 |