Man 1 ch05s05
Please consider to edit the Manual 2!How To edit the Wiki Manual
5. Renaming files
It is also possible to move or rename a document, using the File → Rename... (F2) menu item, or right-clicking the file name in the side panel and choosing the Rename item.
Figure V.12. Moving a File to another Location