From 913d35db941e67d35422d73cc45d96c5f5602a82 Mon Sep 17 00:00:00 2001 From: Jiri Kalvoda Date: Fri, 23 Sep 2022 13:45:22 +0200 Subject: [PATCH] =?UTF-8?q?Strategick=C3=A1:=20=20Zobrazen=C3=AD=20pravide?= =?UTF-8?q?l?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- server/bin/build | 2 ++ server/hra/web/pages.py | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/server/bin/build b/server/bin/build index 9d74969..fa64a62 100755 --- a/server/bin/build +++ b/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 diff --git a/server/hra/web/pages.py b/server/hra/web/pages.py index f0481fd..4e46c77 100644 --- a/server/hra/web/pages.py +++ b/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()