diff options
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/s_docs b/dist/s_docs index 50d391cb..c573efdd 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -22,7 +22,7 @@ tmp_dir=$distdir/s_docs.tmp rm -rf $tmp_dir && mkdir $tmp_dir && mkdir $tmp_dir/logs if [ "$docs_dir" = "" ]; then - docs_dir=$rootdir/docs_books-5.3 + docs_dir=$rootdir/docs_books-6.1 fi # Verify that the docs_books repository is where we expect it. |