Change IRC links to Libera Chat, add Slack link, remove Reddit/SO

Author: wanda-phi

Makefile

@@ -8,7 +8,7 @@ PAGES += $(addsuffix .html,$(basename $(wildcard cmd_*.in)))
 web: $(PAGES)
 
 index.html:
-	ln -s about.html index.html
+	ln -sf about.html index.html
 
 templates/cmd_header.in: templates/header.in
 	sed -r '/<title>/ s,::,:: Command Reference ::,; s,@documentation@,1,g; s,@[a-z]+@,0,g;' < templates/header.in > templates/cmd_header.in.new
@@ -49,7 +49,7 @@ push: web
 	rsync -e ssh -azv --delete --exclude .git --exclude .*.swp --exclude nogit . [email protected]:/var/www/clifford/yosys/.
 
 clean:
-	rm -f $(PAGES)
+	rm -f $(PAGES) templates/cmd_header.in
 
 .PHONY: web push clean
 

documentation.in

@@ -8,19 +8,18 @@ available for Yosys.</p>
 <h2>Yosys Manual</h2>
 
 <p>A quick first-steps tutorial can be found in the <a
-href="https://github.com/cliffordwolf/yosys/blob/master/README.md">README file</a>.</p>
+href="https://github.com/YosysHQ/yosys/blob/master/README.md">README file</a>.</p>
 
 <p>The Yosys manual can be downloaded <a href="files/yosys_manual.pdf">here</a> (PDF).</p>
 
 <h2>Support</h2>
 
 The best places to ask questions are the <a
-href="http://www.reddit.com/r/yosys/">Yosys Subreddit</a>, <a
-href="http://stackoverflow.com/questions/tagged/yosys">Stack Overflow</a> and
-<a href="http://webchat.freenode.net/?channels=yosys">#yosys on freenode</a>.
+href="https://join.slack.com/t/yosyshq/shared_invite/zt-oe2nxfpv-BJd_9CZpkk_MoTT0s88GcA">YosysHQ Community Slack</a>
+and <a href="https://web.libera.chat/#yosys">#yosys on Libera Chat</a>.
 
 The best place to report a bug is on <a
-href="https://github.com/cliffordwolf/yosys/issues/new">GitHub</a>.
+href="https://github.com/YosysHQ/yosys/issues/new">GitHub</a>.
 
 <h2>Presentation Slides</h2>
 

templates/header.in

@@ -15,10 +15,9 @@
   <a class="nav@download@" href="download.html">Download</a>
   <a class="nav@links@" href="links.html">Links</a>
   <a class="nav@donate@_donate" href="donate.html">Donate</a>
-  <a class="navX" href="http://www.reddit.com/r/yosys/">Reddit</a>
-  <a class="navX" href="http://webchat.freenode.net/?channels=yosys">IRC (Freenode)</a>
-  <a class="navX" href="http://stackoverflow.com/questions/tagged/yosys">Stack Overflow</a>
-  <a class="navX" href="https://github.com/cliffordwolf/yosys">GitHub</a>
+  <a class="navX" href="https://join.slack.com/t/yosyshq/shared_invite/zt-oe2nxfpv-BJd_9CZpkk_MoTT0s88GcA">YosysHQ Community Slack</a>
+  <a class="navX" href="https://web.libera.chat/#yosys">IRC (Libera Chat)</a>
+  <a class="navX" href="https://github.com/YosysHQ/yosys">GitHub</a>
   <br/>
   <b>Related Projects:</b><br/>
   <a class="nav@vloghammer@" href="vloghammer.html">VlogHammer</a>