catlist plugin for dokuwiki

hosts/hackens-org/wiki.nix

@@ -103,6 +103,21 @@ in
           cp -R * $out/
         '';
       })
+      (pkgs.stdenv.mkDerivation {
+        name = "catlist";
+        # Download the theme from the dokuwiki site
+        src = pkgs.fetchFromGitHub {
+          owner = "xif-fr";
+          repo = "dokuwiki-plugin-catlist";
+          rev = "065f8d2f4817409989b9342b901163452fb9f547";
+          sha256 = "1l7bvnqkai8qkqqb67w8yy7fbs30dviqc36pyqggzfjhi558i9ih";
+        };
+        # Installing simply means copying all files to the output directory
+        installPhase = ''
+          mkdir -p $out
+          cp -R * $out/
+        '';
+      })
     ];
   };
   # On veut php-xml