Merge "Fix glossary RST sync"

This commit is contained in:
Jenkins 2015-05-06 13:16:33 +00:00 committed by Gerrit Code Review
commit 10b1488563

View File

@ -23,7 +23,7 @@ function copy_rst {
target=$1
# Copy over some RST files
mkdir -p $PROJECT_DIR/$target
tools/glossary2rst.py $PROJECT_DIR/$target
tools/glossary2rst.py $PROJECT_DIR/$target/glossary.rst
for filename in doc/users-guides/source/common/app_support.rst; do
cp $filename $PROJECT_DIR/$target