[yocto] [RFC v4 11/13] scripts/generate-doc.sh: Copy generated eclipse help into the user.doc plugin

[Timo Mueller]

From: Timo Mueller <timo.mueller at bmw-carit.de>

After successful generation the eclipse help files and the table of
contents of each manual are copied to the user.doc plugin.

Signed-off-by: Timo Mueller <timo.mueller at bmw-carit.de>
---
 scripts/generate-doc.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/generate-doc.sh b/scripts/generate-doc.sh
index 096d08e..edbacae 100755
--- a/scripts/generate-doc.sh
+++ b/scripts/generate-doc.sh
@@ -77,6 +77,8 @@ fi
 
 for DOC in ${DOCS}; do
 	make DOC=${DOC} eclipse
+	cp -rf ${DOC}/eclipse/html/* ${DOC_HTML_DIR}
+	cp -f ${DOC}/eclipse/${DOC}-toc.xml ${DOC_HTML_DIR}
 done
 
 sed -e "s/@.*@/${COMMIT_ID}/" < ${DOC_PLUGIN_DIR}/about.html.in > ${DOC_PLUGIN_DIR}/about.html
-- 
1.7.11.7