[Python-3000] [Python-Dev] Documentation switch imminent

["Martin v. Löwis"]

>> 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