/bin/mkdir: cannot create directory ‘/tmp/v3-doc-update.24585’: No space left on device /home/gccadmin/scripts/update_web_docs_libstdcxx_git: line 31: cd: /tmp/v3-doc-update.24585: No such file or directory 9695 blocks