doc: remove doc/Makefile

[nit.git] / doc / git-gen-version.sh

diff --git a/doc/git-gen-version.sh b/doc/git-gen-version.sh
deleted file mode 100755 (executable)
index 145f2f7..0000000
--- a/doc/git-gen-version.sh
+++ /dev/null
@@ -1,51 +0,0 @@
-#!/bin/sh
-
-# This file is part of NIT ( http://www.nitlanguage.org ).
-#
-# Copyright 2008 Jean Privat <jean@pryen.org>
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#     http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-# This program is used to generate version number from git refs.
-# The version number is stored in a dedicated Nit module.
-
-gen_version() {
-       if ! grep "$*" nit_version.sty >/dev/null 2>&1; then
-               cat > nit_version.sty<<END
-% This file was generated by git-gen-version.sh
-\\newcommand\\nitversion{$*}
-END
-               echo "Version $*"
-       fi
-}
-
-VN=$(git describe --always HEAD 2>/dev/null)
-if [ "$?" != "0" ]; then
-       if [ -r ../VERSION ]; then
-               VN="$(cat ../VERSION)"
-       else
-               echo >&2 "Error: no VERSION file and not a .git repository."
-               exit 1
-       fi
-fi
-if [ -z "$VN" ]; then
-       VN="undefined"
-fi
-if [ -n "$1" ]; then
-       VN="${VN}-$1"
-fi
-if [ -n "$(git diff HEAD 2>/dev/null)" ]; then
-       VN="${VN}-dirty"
-fi
-
-gen_version "$VN"