about summary refs log tree commit diff
path: root/doc/default.nix
diff options
context:
space:
mode:
authorpennae <github@quasiparticle.net>2023-06-23 00:26:52 +0200
committerpennae <github@quasiparticle.net>2023-07-01 20:59:30 +0200
commitf397309f4e6c7a219a7703b629f6a4e8d4e7a58b (patch)
tree3e35e4bdd23c091c925f92e8fb227371559f8481 /doc/default.nix
parentbe4d19ff1a9a327ae805fdb344470ed6450256fc (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/default.nix')
-rw-r--r--doc/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/default.nix b/doc/default.nix
index 57066aabdaa93..b8b25c3b4e071 100644
--- a/doc/default.nix
+++ b/doc/default.nix
@@ -50,7 +50,7 @@ in pkgs.stdenv.mkDerivation {
     nixos-render-docs
   ];
 
-  src = pkgs.nix-gitignore.gitignoreSource [] ./.;
+  src = ./.;
 
   postPatch = ''
     ln -s ${doc-support} ./doc-support/result