Refer to domjudge.org documentation in case docs are missing

Before we always generated the URL even when docs were not configured. This
resulted in a 404.

Author: vmcj

webapp/src/Controller/Jury/JuryMiscController.php

@@ -64,9 +64,15 @@ public function indexAction(ConfigurationService $config): Response
             $this->addFlash('info', 'New release ' . $newestVersion . ' available at: https://www.domjudge.org/download.');
         }
 
+        $assetUrls = [];
+        foreach(['domjudge_manual' => ['doc/manual/html/index.html', 'docs/manual/index.html'], 'team_manual' => ['doc/manual/domjudge-team-manual.pdf', 'docs/manual/team.html']] as $key => $file) {
+            $assetUrls[$key] = file_exists($this->dj->getDomjudgeWebappDir() . '/public' . $file[0]) ? asset($file[0]) : 'https://domjudge.org/' . $file[1];
+        };
+
         return $this->render('jury/index.html.twig', [
             'adminer_enabled' => $config->get('adminer_enabled'),
             'CCS_SPEC_API_URL' => GI::CCS_SPEC_API_URL,
+            'asset_urls' => $assetUrls,
         ]);
     }
 

webapp/templates/jury/index.html.twig

@@ -103,8 +103,8 @@
       </div>
       <div class="card-body">
         <ul>
-        <li><a href="{{ asset('doc/manual/html/index.html') }}">DOMjudge manual</a></li>
-        <li><a href="{{ asset('doc/manual/domjudge-team-manual.pdf') }}">Team manual <i class="fas fa-file-pdf"></i></a></li>
+        <li><a href="{{ asset_urls['domjudge_manual'] }}">DOMjudge manual</a></li>
+        <li><a href="{{ asset_urls['team_manual'] }}">Team manual <i class="fas fa-file-pdf"></i></a></li>
         <li><a href="{{ path('app.swagger_ui') }}">API documentation</a><br />
             See also the <a href="{{ CCS_SPEC_API_URL }}">ICPC Contest API</a>.</li>
         </ul>