diff options
author | devhell <devhell@mailfresser.de> | 2022-10-10 11:15:04 +0100 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2022-10-10 11:15:04 +0100 |
commit | 507eb19d3c5affcd9e43fff43216c4c899c9511a (patch) | |
tree | 79c2e11621132df3ad706530a52decd5839563c1 /modules/user | |
parent | 2c9a23e262a06082e74572903449333cd9525687 (diff) |
profiles/packages: Add mdbook
Mdbook has become really useful for writing lab material, so I'll introduce it permanently to my package collection.
Diffstat (limited to 'modules/user')
-rw-r--r-- | modules/user/devhell/profiles/packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/user/devhell/profiles/packages.nix b/modules/user/devhell/profiles/packages.nix index 500e5144..cde25694 100644 --- a/modules/user/devhell/profiles/packages.nix +++ b/modules/user/devhell/profiles/packages.nix @@ -160,6 +160,7 @@ in { man-pages man-pages-posix mapcidr + mdbook mediainfo menyoki mkvtoolnix |