diff options
author | pennae <github@quasiparticle.net> | 2023-06-23 00:26:52 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-07-01 20:59:30 +0200 |
commit | f397309f4e6c7a219a7703b629f6a4e8d4e7a58b (patch) | |
tree | 3e35e4bdd23c091c925f92e8fb227371559f8481 /doc/shell.nix | |
parent | be4d19ff1a9a327ae805fdb344470ed6450256fc (diff) |
doc: remove remnants of docbook times
all xml-related tooling can go away. shell.nix is no longer useful since the makefile is gone and the build runs entirely via a derivation, and gitignore is thus also no longer that useful. it may filter out some swap files, but its main reason to exist (keeping generated files out of a concurrent build of the derivation) has gone away.
Diffstat (limited to 'doc/shell.nix')
-rw-r--r-- | doc/shell.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/shell.nix b/doc/shell.nix deleted file mode 100644 index 5fa2b4424899a..0000000000000 --- a/doc/shell.nix +++ /dev/null @@ -1,3 +0,0 @@ -{ pkgs ? import ../. { } }: -(import ./default.nix { }).overrideAttrs -(x: { buildInputs = (x.buildInputs or [ ]) ++ [ pkgs.xmloscopy pkgs.ruby ]; }) |