tools/docgen.sh
author Wuzzy <Wuzzy2@mail.ru>
Tue, 28 Aug 2018 05:46:33 +0200
changeset 13710 0da36902e5b6
parent 11515 4dd77731453b
permissions -rwxr-xr-x
Space Invasion: Continue playing rounds in case the teams are tied at the end Rules in case of a tie: 1) Eliminate all teams not tied for the lead 2) Play another round with the remaining teams 3) Check for the winner again at the end of that round. If there's another tie, repeat the procedure
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6203
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     1
#!/bin/sh
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     2
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     3
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     4
if [ -d QTfrontend ]; then
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     5
	cd QTfrontend
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     6
else
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     7
	if [ -d ../QTfrontend ]; then
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     8
		cd ../QTfrontend
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
     9
	else
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    10
		echo 'abort: Directory "QTfrontend" not found!' >&2
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    11
		exit 1
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    12
	fi
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    13
fi
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    14
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    15
if [ -z "$1" ]; then
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    16
	OUTPUT_DIRECTORY="../doc/QTfrontend"
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    17
else
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    18
	OUTPUT_DIRECTORY="$1"
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    19
fi
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    20
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    21
echo "Creating documentation for Qt-Frontend in $OUTPUT_DIRECTORY ..."
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    22
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    23
if [ $(which hg) ]; then
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    24
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    25
branch=$(hg identify -b)
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    26
rev=$(hg identify -rdefault -i)
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    27
11515
4dd77731453b update some old google code links in the code/etc. thanks Wuzzy for the heads-up
sheepluva
parents: 10667
diff changeset
    28
export PROJECT_NUMBER="${branch} branch, ${rev}"
6203
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    29
export OUTPUT_DIRECTORY
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    30
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    31
fi
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    32
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    33
doxygen
38ddad39f08f adding simple doc build script
sheepluva
parents:
diff changeset
    34
exit $?