>> 1. svn diff Doc; any pending changes will need to be redone >> 2. svn up; this will remove the tex sources, and then likely >> fail if there were still other files present in Doc, e.g. >> from building the documentation >> 3. review any files left in Doc >> 4. rm -rf Doc >> 5. svn up >> >> If you are certain there is nothing of interest in your sandbox >> copy of Doc, you can start with step 4. > > Why the 'rm' call? When I did ``svn update`` it deleted the files for > me. Is this to ditch some metadata? No, it's to delete any files in this tree not under version control, see step 2. If you had any such files, step 2 would abort with an error message svn: Konnte Verzeichnis »Doc« nicht hinzufügen: ein Objekt mit demselben Namen existiert bereits (or some such) Regards, Martin
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4