Update doc/manual/install-language.rst

Co-authored-by: Jaap Eldering <[email protected]>
DOMjudge · May 19, 2024 · 58ddce2 · 58ddce2
1 parent 43ed4f5
commit 58ddce2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.