From daf0c0bc35630a183e54ec78099fabe8ce563b2b Mon Sep 17 00:00:00 2001 From: Romain Bignon Date: Mon, 20 May 2013 21:32:43 +0200 Subject: [PATCH] add new generated manpages in the git stage --- release.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/release.sh b/release.sh index a8e8ee23..29dfade6 100755 --- a/release.sh +++ b/release.sh @@ -37,6 +37,9 @@ echo "Generating manpages..." tools/make_man.sh echo -e "done!\n" +# in case there are new manpages not included in the git tree. +git add man/* + echo "Release commit:" git commit -a -m "Weboob $VERSION released" echo -ne "\n"