diff --git a/doc/manual/projects.xml b/doc/manual/projects.xml index 886a65d1..5c88a64a 100644 --- a/doc/manual/projects.xml +++ b/doc/manual/projects.xml @@ -213,7 +213,7 @@ let }; }; in - jobs + jobs