From 0368265024aa9192e0ee6cb80ddb9977a17d4fca Mon Sep 17 00:00:00 2001 From: Frank Celler Date: Thu, 18 Dec 2014 16:15:09 +0100 Subject: [PATCH] add examples by force --- Installation/release.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Installation/release.sh b/Installation/release.sh index 35dd73eff0..85371698d6 100755 --- a/Installation/release.sh +++ b/Installation/release.sh @@ -46,6 +46,8 @@ make || exit 1 make examples || exit 1 make swagger || exit 1 +git add -f Documentation/Examples/*.generated + if [ "$TAG" == "1" ]; then git commit -m "release version $VERSION" -a git push