From f397309f4e6c7a219a7703b629f6a4e8d4e7a58b Mon Sep 17 00:00:00 2001
From: pennae <github@quasiparticle.net>
Date: Fri, 23 Jun 2023 00:26:52 +0200
Subject: 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.
---
 doc/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/default.nix')

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
-- 
cgit 1.4.1