lib
(cherry picked from commit 742d1889c5)
742d1889c5
(cherry picked from commit a30751464a)
a30751464a
This is a module for managing the GNU info directory for the user profile. See comments at the top of `modules/programs/info.nix` for further information.