diff --git a/specs/specs.md.html b/specs/specs.md.html
index 2e94ed5e..6bc1228b 100644
--- a/specs/specs.md.html
+++ b/specs/specs.md.html
@@ -17,7 +17,7 @@
 
 # Formal specification
 
-*This is the formal specification of the Battlecode 2023 game.* Current version: *3.0.13*
+*This is the formal specification of the Battlecode 2023 game.* Current version: *3.0.14*
 
 **Welcome to Battlecode 2023: Tempest.**