summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorHeiko Carrasco <4395770+miterion@users.noreply.github.com>2024-03-17 14:28:18 -0400
committerGitHub <noreply@github.com>2024-03-17 14:28:18 -0400
commit576be4317c780b48f44b83bf45fa79d139eed026 (patch)
tree3d23116e6f6fc6a8316fc342fda1fcf4ccb834e3 /doc
parentd9ea313bc4851670dc99c5cc979cb79750e7d670 (diff)
Remove override.css as done in https://github.com/NixOS/nixpkgs/pull/295847
Diffstat (limited to 'doc')
-rw-r--r--doc/manual/default.nix2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/manual/default.nix b/doc/manual/default.nix
index 5a0072a..abe126b 100644
--- a/doc/manual/default.nix
+++ b/doc/manual/default.nix
@@ -71,7 +71,6 @@ in rec {
mkdir -p $dst
cp $styles/style.css $dst
- cp $styles/overrides.css $dst
cp -r ${pkgs.documentation-highlighter} $dst/highlightjs
substitute ${./manual.md} manual.md \
@@ -86,7 +85,6 @@ in rec {
--revision ${lib.escapeShellArg revision} \
--generator "nixos-render-docs ${lib.version}" \
--stylesheet style.css \
- --stylesheet overrides.css \
--stylesheet highlightjs/mono-blue.css \
--script ./highlightjs/highlight.pack.js \
--script ./highlightjs/loader.js \