Update to Inform v6.42
[inform.git] / version.sh
1 # This file is part of Inform.
2 #
3 # Inform is free software: you can redistribute it and/or modify it
4 # under the terms of the GNU General Public License as published by
5 # theFree Software Foundation, either version 3 of the License, or
6 #(at your option) any later version.
7 #
8 # Inform is distributed in the hope that it will be useful, but
9 # WITHOUT ANY WARRANTY; without even the implied warranty of
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 # General Public License for more details.
12 #
13 # You should have received a copy of the GNU General Public License
14 # along with Inform. If not, see https://gnu.org/licenses/
15
16 commit_count=$(git rev-list HEAD --count)
17 echo "6.$commit_count"