2024-07-23 00:00:26 +02:00
|
|
|
{
|
|
|
|
# faster rebuilding
|
|
|
|
documentation = {
|
|
|
|
# whether to enable the `doc` output of packages
|
|
|
|
# generally in ${pkg}/share/ as plaintext or html
|
2025-05-12 10:53:19 +02:00
|
|
|
# can shave off a few megabytes
|
2024-07-24 17:47:16 +02:00
|
|
|
doc.enable = false;
|
|
|
|
|
|
|
|
# whether to install the `info` command and the `info`
|
|
|
|
# output of packages
|
|
|
|
info.enable = false;
|
|
|
|
|
2025-06-20 10:33:10 +02:00
|
|
|
# Whether to install documentation targeted at developers.
|
|
|
|
dev.enable = true;
|
|
|
|
|
2024-07-24 17:47:16 +02:00
|
|
|
man = {
|
|
|
|
# Whether to install manual pages
|
|
|
|
# this means packages that provide a `man` output will have said output
|
|
|
|
# included in the final closure
|
|
|
|
enable = true;
|
|
|
|
|
|
|
|
# Whether to generate the manual page index caches
|
|
|
|
# if true, it becomes possible to search for a page or keyword
|
|
|
|
# using utilities like apropos(1) and the -k option of man(1).
|
2024-08-28 14:18:47 +02:00
|
|
|
generateCaches = false;
|
2024-07-24 17:47:16 +02:00
|
|
|
|
|
|
|
# Whether to enable mandoc as the default man page viewer.
|
2025-06-20 10:33:10 +02:00
|
|
|
mandoc.enable = false; # my default manpage viewer is bat, so this isn't necessary
|
2024-07-24 17:47:16 +02:00
|
|
|
};
|
2024-07-23 00:00:26 +02:00
|
|
|
};
|
|
|
|
}
|