summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xutils/docs-build.sh11
1 files changed, 10 insertions, 1 deletions
diff --git a/utils/docs-build.sh b/utils/docs-build.sh
index e5e602584..914eaf207 100755
--- a/utils/docs-build.sh
+++ b/utils/docs-build.sh
@@ -180,7 +180,16 @@ do
}
if is_top_dir "$dir" ; then
- mv "$output"/* "$OUTPUT_DIR"/
+ # NOTE: Having top level document (docs/index.rst) is not recommended.
+ # It may cause conflicts with other docs (mostly with HTML
+ # folders for contents in top level docs and other document
+ # folders). But, let's try merge of those contents into the top
+ # docs directory.
+ (
+ cd $output
+ find . -type d -print | xargs -I d mkdir -p ../d
+ find . -type f -print | xargs -I f mv -b f ../f
+ )
rm -rf "$output"
fi