From 99d3a24ac951c166dc2b187e9d355d7d035b0cb9 Mon Sep 17 00:00:00 2001
From: Griffin Smith <grfn@gws.fyi>
Date: Wed, 16 Jun 2021 10:46:44 -0400
Subject: feat(gs/home): Install a bunch of new latex packages

I'm typesetting a type system! `semantic` is the big winner here, but
also `mathpartir` is nice

Change-Id: I27ee91d30e0fe680377ce48f7539553fd0707684
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3212
Reviewed-by: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
---
 users/grfn/system/home/modules/emacs.nix | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

(limited to 'users/grfn/system')

diff --git a/users/grfn/system/home/modules/emacs.nix b/users/grfn/system/home/modules/emacs.nix
index 7f65500a982a..6cc38bc7ab05 100644
--- a/users/grfn/system/home/modules/emacs.nix
+++ b/users/grfn/system/home/modules/emacs.nix
@@ -29,9 +29,25 @@ in {
         # LaTeX (for org export)
         (pkgs.texlive.combine {
           inherit (pkgs.texlive)
-          scheme-basic collection-fontsrecommended ulem
-          fncychap titlesec tabulary varwidth framed fancyvrb float parskip
-          wrapfig upquote capt-of needspace;
+            capt-of
+            collection-fontsrecommended
+            dvipng
+            fancyvrb
+            float
+            fncychap
+            framed
+            mathpartir
+            needspace
+            parskip
+            scheme-basic
+            semantic
+            tabulary
+            titlesec
+            ulem
+            upquote
+            varwidth
+            wrapfig
+          ;
         })
 
         ispell
-- 
cgit 1.4.1