diff --git a/.forgejo/workflows/demo.yaml b/.forgejo/workflows/demo.yaml
index 87ff5f8..935846f 100644
--- a/.forgejo/workflows/demo.yaml
+++ b/.forgejo/workflows/demo.yaml
@@ -11,12 +11,3 @@ 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 68d7763..62b170c 100644
--- a/guix-dev.scm
+++ b/guix-dev.scm
@@ -30,7 +30,6 @@
              (gnu packages guile)
              (gnu packages guile-xyz)
              (gnu packages pkg-config)
-             (gnu packages texinfo)
              (srfi srfi-1))
 
 (package
@@ -45,8 +44,7 @@
    (list autoconf
          automake
          pkg-config
-         guile-documenta
-         texinfo))
+         guile-documenta))
   (synopsis "TODO")
   (description "TODO")
   (home-page "TODO")