playground.py createmanuals fails with message "Not a directory: 'sandbox/default/doc/_sources'"

[Sebastian Max]

When running ./playground.py createmanuals, it failes with the error message

Output written on openWNS-UsersGuide.pdf (37 pages, 298025 bytes).
Transcript written on openWNS-UsersGuide.log.
Traceback (most recent call last):
  File "./playground.py", line 106, in <module>
    core.run()
  File "/net/beast1/SMX/smx/source/publicOpenWNS/sandbox/default/lib/python2.4/site-packages/wnsbase/playground/Core.py", line 177, in run
    self.command.run()
  File "/net/beast1/SMX/smx/source/publicOpenWNS/sandbox/default/lib/python2.4/site-packages/wnsbase/playground/builtins/CreateManuals/CreateManuals.py", line 206, in run
    shutil.copytree(file, "sandbox/default/doc" + "/" + subdirname)
  File "/usr/lib/python2.5/shutil.py", line 110, in copytree
    os.makedirs(dst)
  File "/usr/lib/python2.5/os.py", line 171, in makedirs
    mkdir(name, mode)
OSError: [Errno 20] Not a directory: 'sandbox/default/doc/_sources'

Apparently, compiling the pdf / html works, but then the final copy'ing does not. The directory sandbox/default contains a _file_, not a directory, named 'doc'. Deleting this file and re-compiling leads to the same error.