Merge branch 'master' of https://github.com/igraph/igraph.org

Author: szhorvat

_layouts/default.html

@@ -97,6 +97,7 @@
           <li class="nav-item dropdown">
             <a href="#" class="nav-link dropdown-toggle" id="communityDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">Community</a>
             <div class="dropdown-menu" aria-labelledby="communityDropdown">
+              <a class="dropdown-item" href="/community/packages.html"><i class="fa-solid fa-cube"></i> Community packages</a>
               <a class="dropdown-item" href="https://igraph.discourse.group"><i class="fa-solid fa-comments"></i> Forum</a>
               <a class="dropdown-item" href="https://discord.gg/cSyHDPJWDD"><i class="fa-brands fa-discord"></i> Discord</a>
               <a class="dropdown-item" href="/code-of-conduct.html"><i class="fa-solid fa-gavel"></i> Code of Conduct</a>

_tools/c_postprocess_html.py

@@ -69,9 +69,6 @@ def main():
     if not doc_dir.exists():
         fail(f"Build the HTML docs first; {doc_dir} does not exist")
 
-    if jekyll_dir.exists():
-        rmtree(jekyll_dir)
-
     for version in versions:
         doc_dir_version = doc_dir / version
         jekyll_dir_version = jekyll_dir / version
@@ -83,6 +80,9 @@ def main():
             continue
 
         print(jekyll_dir_version)
+        if jekyll_dir_version.exists():
+            rmtree(jekyll_dir_version)
+
         jekyll_dir_version.mkdir(parents=True, exist_ok=True)
         for html_file in doc_dir_version.glob("*.html"):
             jekyll_html_file = jekyll_dir_version / html_file.name