From 9588857d5a1207c9891f88c28d8c3b04416f224a Mon Sep 17 00:00:00 2001
From: Gabriel Arazas <foo.dogsquared@gmail.com>
Date: Thu, 23 Jun 2022 17:02:04 +0800
Subject: [PATCH] shells/gnu: add more tools in the shell

---
 shells/gnu.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shells/gnu.nix b/shells/gnu.nix
index d794908f..55347da3 100644
--- a/shells/gnu.nix
+++ b/shells/gnu.nix
@@ -4,7 +4,7 @@
 # It's a good thing they have documented the full details in one of their
 # manuals at
 # https://www.gnu.org/software/automake/manual/html_node/GNU-Build-System.html
-{ mkShell, lib, autoconf, autoconf-archive, automake, gnumake, gcc, gettext, coreutils, pkg-config }:
+{ mkShell, lib, autoconf, autoconf-archive, automake, gnumake, gcc, gettext, coreutils, pkg-config, help2man, texinfo }:
 
 mkShell {
   packages = [
@@ -14,6 +14,8 @@ mkShell {
     coreutils
     gettext
     gcc
+    help2man
+    texinfo
     pkg-config
   ];
 }