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()