Make index.html look like the website

.github/workflows/jekyll.yml

@@ -8,12 +8,67 @@ on:
 
 jobs:
   build:
+    if: github.ref != 'refs/heads/main'
     runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v4
+
+      # Make index.html
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.11
+      - name: Generate index.html
+        run: |
+          sudo apt update
+          sudo apt install -y ruby-bundler ruby-dev
+          python3 -m pip install -r requirements.txt
+          python3 make_index.py
+
+      - name: Build the site in the jekyll/builder container
+        run: |
+          docker run \
+          -v ${{ github.workspace }}:/srv/jekyll -v ${{ github.workspace }}/_site:/srv/jekyll/_site \
+          jekyll/builder:latest /bin/bash -c "chmod 777 /srv/jekyll && jekyll build --future"
+
+  build-and-deploy:
+    if: github.ref == 'refs/heads/main'
+    runs-on: ubuntu-latest
+
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
+
+    steps:
+      - uses: actions/checkout@v4
+
+      # Make index.html
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.11
+      - name: Generate index.html
+        run: |
+          sudo apt update
+          sudo apt install -y ruby-bundler ruby-dev
+          python3 -m pip install -r requirements.txt
+          python3 make_index.py
+
       - name: Build the site in the jekyll/builder container
         run: |
           docker run \
           -v ${{ github.workspace }}:/srv/jekyll -v ${{ github.workspace }}/_site:/srv/jekyll/_site \
           jekyll/builder:latest /bin/bash -c "chmod 777 /srv/jekyll && jekyll build --future"
+
+      # Deploy to GitHub Pages
+      - name: Setup Pages
+        uses: actions/configure-pages@v3
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: '_site'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1

.gitignore

@@ -0,0 +1,5 @@
+index.html
+*.pyc
+_web/
+Gemfile.lock
+_site/

README.md

@@ -1,12 +1,3 @@
----
-pagetitle: FEniCSx Project Documentation
-header-includes: <link rel="shortcut icon" type="image/x-icon" href="https://fenicsproject.org/favicon.ico"/>
----
-
-# FEniCSx Project Documentation
-
-<img style="display: block; margin: 0 auto; width: 70px;" src="https://fenicsproject.org/pub/graphics/fenics_logo.svg" alt="FEniCS project logo">
-
 ## Latest release
 
 #### DOLFINx

make_index.py

@@ -0,0 +1,38 @@
+import os
+
+from markdown import markdown
+
+
+def system(command):
+    assert os.system(command) == 0
+
+
+_path = os.path.dirname(os.path.realpath(__file__))
+web_path = os.path.join(_path, "_web")
+
+if os.path.isdir(web_path):
+    system(f"rm -r {web_path}")
+system(f"git clone http://github.com/FEniCS/web {web_path}")
+
+with open(os.path.join(web_path, "template.md"), "w") as f:
+    f.write("---\n")
+    f.write("title: \"FEniCSx Documentation\"\n")
+    f.write("---\n")
+    f.write("\n")
+    f.write("!!CONTENT!!\n")
+
+system(f"cd {web_path} && bundle install && bundle exec jekyll build")
+
+with open(os.path.join(web_path, "_site/template.html")) as f:
+    template = f.read()
+
+template = template.replace("<p>!!", "!!")
+template = template.replace("!!</p>", "!!")
+template = template.replace("=\"/", "=\"https://fenicsproject.org/")
+template = template.replace("(/assets", "(https://fenicsproject.org/assets")
+
+with open("README.md") as f:
+    readme = f.read()
+
+with open("index.html", "w") as f:
+    f.write(template.replace("!!CONTENT!!", markdown(readme)))