diff --git a/web/hugo.toml b/web/hugo.toml
index 94846fff7..e02cd91f5 100644
--- a/web/hugo.toml
+++ b/web/hugo.toml
@@ -40,10 +40,10 @@ theme = 'smtcomp'
 #      pageRef = 'results'
 #      weight = 10
 
-# [[menu.year]]
-#     name = 'Rules'
-#     URL = '/rules.pdf'
-#     weight = 10
+[[menu.year]]
+    name = 'Rules'
+    URL = '/rules.pdf'
+    weight = 10
 
 # [[menu.year]]
 #     name = 'Specs'
diff --git a/web/static/rules.pdf b/web/static/rules.pdf
index f1207db53..2b84ae935 100644
Binary files a/web/static/rules.pdf and b/web/static/rules.pdf differ