From 58ddce29ea3ad65ec9c741b8b0026450d6bfb5ae Mon Sep 17 00:00:00 2001 From: MCJ Vasseur <14887731+vmcj@users.noreply.github.com> Date: Sun, 19 May 2024 12:29:35 +0200 Subject: [PATCH] Update doc/manual/install-language.rst Co-authored-by: Jaap Eldering --- doc/manual/install-language.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/install-language.rst b/doc/manual/install-language.rst index 76184f4830b..61ec9b25576 100644 --- a/doc/manual/install-language.rst +++ b/doc/manual/install-language.rst @@ -2,7 +2,7 @@ Appendix: Installing the example languages ========================================== DOMjudge ships with some default languages with a default configuration. -As you might setup contests with those languages we provide how those languages were +As you might set up contests with those languages we provide how those languages were installed in the past as guideline. Use ``dj_run_chroot`` for most of those packages, and see the section :ref:`make-chroot` for more information.