fix pre-commit hook

devenv.nix

@@ -102,7 +102,7 @@
   };
   scripts."devenv-generate-doc-css" = {
     description = "Generate CSS for the docs.";
-    exec = "${lib.getExe pkgs.tailwindcss} build --quiet -i docs/assets/extra.css -o docs/assets/output.css";
+    exec = "${lib.getExe pkgs.tailwindcss} build -i docs/assets/extra.css -o docs/assets/output.css 2>/dev/null";
   };
   scripts."devenv-generate-doc-options" = {
     description = "Generate option docs.";
@@ -231,9 +231,6 @@ EOF
     generate-doc-css = {
       enable = true;
       name = "generate-doc-css";
-      # In CI, the auto-commit action doesn't run in the shell, so it can't reuse our scripts.
-      # And the following command is curently too slow to be a pre-commit command.
-      # entry = "devenv shell devenv-generate-doc-css";
       entry = config.scripts."devenv-generate-doc-css".exec;
     };
   };