diff --git a/website/modify_build.rb b/website/modify_build.rb index 2f2c2411..f7be3c1c 100644 --- a/website/modify_build.rb +++ b/website/modify_build.rb @@ -342,7 +342,7 @@ def add_home_link_to_menu(text) - + ⬇️ Short TL;DR .PDF