[yocto] [RFCv3 5/7] scripts/generat-doc.sh: Copy generated eclipse help into the user.doc plugin

[mail at timomueller.eu]

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.
---
 scripts/generate_doc.sh |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/scripts/generate_doc.sh b/scripts/generate_doc.sh
index faab9ef..7d4911f 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.7.6