remove links to outdated os-specific pages

diff --git a/en/workshops.html b/en/workshops.html
index 934ce7d1da92ed172fbf0a9518695245970365fa..1185cc56dbb928460f98bd3e2bf27f29fadac466 100644 (file)
--- a/en/workshops.html
+++ b/en/workshops.html
@@ -45,9 +45,9 @@ href="../static/img/favicon.ico" />
 </ul>
 
 <ul id="menu" class="os">
-<li class="spacer"><a href="index.html">GNU/Linux</a></li>
-<li><a href="mac.html">Mac OS</a></li>
-<li><a href="windows.html">Windows</a></li>
+<li class="spacer"><a href="index.html">Set up guide</a></li>
+<!--<li><a href="mac.html">Mac OS</a></li>-->
+<!--<li><a href="windows.html">Windows</a></li>-->
 <li><a href="workshops.html" class="current">Teach your friends</a></li>
 <li><a href="https://fsf.org/share?u=https://u.fsf.org/zb&amp;t=Email
 encryption for everyone via %40fsf">Share&nbsp;