doc: remove doc/Makefile

Since there is no more doc to generate

diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644 (file)
index c37eaa8..0000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-all:
-       ./git-gen-version.sh
-       rubber --pdf --inplace nitreference/nitreference.tex
-       rubber --pdf --inplace developpez/nit.tex
-
-clean:
-       rm nit_version.sty 2> /dev/null || true
-       rubber --clean --inplace nitreference/nitreference.tex
-       rubber --clean --inplace developpez/nit.tex
-
-distclean: clean
-       rm nitreference/nitreference.pdf developpez/nit.pdf 2> /dev/null || true

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"