diff options
Diffstat (limited to 'Doc')
| -rwxr-xr-x | Doc/tools/update-docs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/update-docs.sh b/Doc/tools/update-docs.sh index c68e875..8569da6 100755 --- a/Doc/tools/update-docs.sh +++ b/Doc/tools/update-docs.sh @@ -25,6 +25,7 @@ cd .. || exit $? if [ -d $DOCTYPE ] ; then mv $DOCTYPE $DOCTYPE-temp fi -mv $TMPDIR $DOCTYPE +mv $TMPDIR/Python-Docs-* $DOCTYPE +rmdir $TMPDIR rm -rf $DOCTYPE-temp || exit $? rm "$UPDATES" || exit $? |