diff options
| -rwxr-xr-x | release-scripts/build-docs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/release-scripts/build-docs b/release-scripts/build-docs index 53500d704dc..fa38d8dd2c1 100755 --- a/release-scripts/build-docs +++ b/release-scripts/build-docs @@ -25,7 +25,4 @@ cd ../docs || exit 1 mv manpages-3 manpages mv htmldocs/manpages-3 htmldocs/manpages -cd $DOCSRCDIR || exit 1 -make clean - exit |