diff options
Diffstat (limited to 'runtime/doc/usr_07.txt')
| -rw-r--r-- | runtime/doc/usr_07.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/doc/usr_07.txt b/runtime/doc/usr_07.txt index c44a54d76c..649be8d7ce 100644 --- a/runtime/doc/usr_07.txt +++ b/runtime/doc/usr_07.txt @@ -227,8 +227,8 @@ the file. FILE MARKS -In chapter 4 was explained how you can place a mark in a file with "mx" and -jump to that position with "`x". That works within one file. If you edit +In section |03.10| was explained how you can place a mark in a file with "mx" +and jump to that position with "`x". That works within one file. If you edit another file and place marks there, these are specific for that file. Thus each file has its own set of marks, they are local to the file. So far we were using marks with a lowercase letter. There are also marks |