diff --git a/.forgejo/workflows/demo.yaml b/.forgejo/workflows/demo.yaml
index 935846f..87ff5f8 100644
--- a/.forgejo/workflows/demo.yaml
+++ b/.forgejo/workflows/demo.yaml
@@ -11,3 +11,12 @@ jobs:
       - run: |
           cd knots-trunk
           guix shell -D -f guix-dev.scm -- documenta api knots
+          guix shell texinfo -- makeinfo --css-ref=https://luis-felipe.gitlab.io/texinfo-css/static/css/texinfo-7.css --no-split --html -o pages/index.html doc/index.texi
+
+      - run: |
+          cd knots-pages
+          git add .
+          git config user.email <>
+          git config user.name "Automatic website updater"
+          git commit -m "Automatic website update"
+          git push
diff --git a/guix-dev.scm b/guix-dev.scm
index 62b170c..68d7763 100644
--- a/guix-dev.scm
+++ b/guix-dev.scm
@@ -30,6 +30,7 @@
              (gnu packages guile)
              (gnu packages guile-xyz)
              (gnu packages pkg-config)
+             (gnu packages texinfo)
              (srfi srfi-1))
 
 (package
@@ -44,7 +45,8 @@
    (list autoconf
          automake
          pkg-config
-         guile-documenta))
+         guile-documenta
+         texinfo))
   (synopsis "TODO")
   (description "TODO")
   (home-page "TODO")