diff options
| author | Matthias Beyer <mail@beyermatthias.de> | 2016-07-30 20:53:12 +0200 |
|---|---|---|
| committer | Matthias Beyer <mail@beyermatthias.de> | 2016-07-30 20:53:12 +0200 |
| commit | 008f4d0032868896d623a32b9114c84b115f4b3e (patch) | |
| tree | 1d9f197750ddc92353a29e9edc563a4bf7da2cd5 /doc | |
| parent | 5cd2964fe303b0d24d715a204ce289133e62a710 (diff) | |
Add new non-optional dependencies to doc in default.nix
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/default.nix b/doc/default.nix index 22005546..9bccd3f6 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -30,6 +30,9 @@ let setspace babel + subfig + caption + # optionals upquote microtype |