master

分支 (14)

标签 (128)

管理

管理

master

7.2

7.1

drop-subm-save-restore

feature/team-manual-rst

refactor/scoreboard-pod

fix-permissions-of-var-cache

7.0

feature/ssp-login

cleanup/remove-more-unused-code

wf2019

nwerc2018

ICPC-live

online-judge

7.0.5

7.1.2

7.2.0

7.1.1

7.1.0

7.0.4

6.0-dev-end

5.2-dev-end

7.0.3

7.0.2

7.0.1

7.0.0

6.0.3

5.3-dev-end

6.0.2

6.0.1

6.0.0

5.2.3

5.3.3

6.0.0RC1

domjudge
/
bootstrap

#!/bin/sh

cat <<EOF
Bootstrapping DOMjudge from Git repository sources...

Note that this script simply calls 'make dist'. Besides bootstrapping
the configure/build system, it also tries to build the PDF/HTML
documentation.

EOF

make dist