Do not publish .buildinfo files

These build artefacts do not need to be published, remove them. Change-Id: I92e575cd8dce7d2906a0c3b9869a52bb0e591812
2015-10-14 11:02:59 +02:00 · 2015-10-14 11:02:59 +02:00 · ae4d97f9a5
parent c868f7889c
commit ae4d97f9a5
1 changed files with 2 additions and 0 deletions
--- a/tools/build-rst.sh
+++ b/tools/build-rst.sh
@ -105,5 +105,7 @@ else
    if [ "$TARGET" != "" ] ; then
        mkdir -p publish-docs/$TARGET
        rsync -a $BUILD_DIR/ publish-docs/$TARGET/
+        # Remove unneeded build artefact
+        rm -f publish-docs/$TARGET/.buildinfo
    fi
 fi