Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit d8cbf48

Browse files
committed
Fix path to install docs from in manual
1 parent f1e5ffd commit d8cbf48

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎doc/manual/install-workstation.rst‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ Command line submit client
1919
DOMjudge comes with a command line submit client which makes it really
2020
convenient for teams to submit their solutions to DOMjudge.
2121

22-
In order to use the submit client, you need Python, the python requests
22+
In order to use the submit client, you need Python, the python requests
2323
library and optionally the python magic library installed on the team's
2424
workstation. To install this on Debian-like distributions::
2525

@@ -85,7 +85,7 @@ the team manual can be generated with the command ``make docs``.
8585
The following should do it on a Debian-like system::
8686

8787
sudo apt install python3-sphinx python3-sphinx-rtd-theme fontconfig python3-yaml
88-
cd <INSTALL_PATH>/doc/
88+
cd <DOWNLOAD_PATH>/doc/
8989
make docs
9090

9191
The resulting manual will then be found in the ``team/`` subdirectory.

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /