diff options
Diffstat (limited to 'otp_patch_apply')
| -rwxr-xr-x | otp_patch_apply | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/otp_patch_apply b/otp_patch_apply index 947aa1e6ee..51b9431d89 100755 --- a/otp_patch_apply +++ b/otp_patch_apply @@ -18,7 +18,7 @@ # %CopyrightEnd% # -version="1.0.1" +version="1.0.2" force= lib_path= @@ -387,9 +387,7 @@ if [ $install_docs = yes ]; then TESTROOT="$idir" release_docs) || exit 1 done - (cd "$sdir/system/doc/top" && $MAKE clean) - - (cd "$sdir/system/doc/top" && \ + (cd "$sdir/system/doc" && \ $MAKE MAKE="$MAKE" RELEASE_ROOT="$idir" RELEASE_PATH="$idir" \ TESTROOT="$idir" release_docs) || exit 1 |