From adc5bbdde53c307c124c3725afbc2b922c3bc854 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <mail+github@vbrandl.net>
Date: Sun, 27 Feb 2022 14:17:06 +0100
Subject: [PATCH] Pygments for code listings

---
 Makefile  | 6 +++++-
 shell.nix | 3 +++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 82ceb9d2..9e746f2b 100644
--- a/Makefile
+++ b/Makefile
@@ -32,8 +32,12 @@ languagetool:
 	languagetool <(cat $(SRC) | ./scripts/detex.py)
 
 .PHONY: clean
-clean: clean_dot
+clean: clean_dot clean_tex
+
+.PHONY: clean_tex
+clean_tex:
 	latexmk -C
+	rm -rf ./_minted-report/
 
 .PHONY: clean_dot
 clean_dot:
diff --git a/shell.nix b/shell.nix
index e65b44dc..376a64ec 100644
--- a/shell.nix
+++ b/shell.nix
@@ -54,5 +54,8 @@ pkgs.mkShell {
     pkgs.zathura
     # dot
     pkgs.graphviz
+
+    pkgs.pygmentex
+    pkgs.pythonPackages.pygments
   ];
 }