Merge branch 'sksp2022-strategicka' of gitea.ks.matfyz.cz:KSP/ksp into sksp2022-strategicka

server/bin/build

@@ -25,3 +25,5 @@ cp ../klient/jsmn.h static/client
 )
 unlink static/client.git
 ln -sr static/client/.git static/client.git
+
+pandoc ../pravidla.md  --to=pdf  -o static/pravidla.pdf

server/hra/web/pages.py

@@ -255,6 +255,10 @@ def web_index():
                     b.a(href=u)(u)
                     b.br()
             b.line().li("Git: ", b._pre(f"git clone {app.url_for('static', filename='client.git', _external=True)}", style="margin: 0pt 0pt"))
+    b.h3("Pravidla")
+    with b.p():
+        u = app.url_for('static', filename='pravidla.pdf')
+        b.a(href=u)("V PDF")
 
     return b.print_file()