From 68dc3839e46756918cd4ba2e7cf332f866be8b15 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 15 Feb 2022 22:16:03 +0100 Subject: [PATCH] add texinputs export script --- export_texinputs.sh | 1 + 1 file changed, 1 insertion(+) create mode 100755 export_texinputs.sh diff --git a/export_texinputs.sh b/export_texinputs.sh new file mode 100755 index 0000000..97e000c --- /dev/null +++ b/export_texinputs.sh @@ -0,0 +1 @@ +export TEXINPUTS=LatexPackagesBuild//: