From dcbd1d66f1a0176c1e5220fad9a7b5b934426bd5 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Thu, 28 Mar 2024 09:30:07 +0100 Subject: updated tlobsd --- tlobsd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tlobsd') diff --git a/tlobsd b/tlobsd index 50adc5a..e5baaa5 100644 --- a/tlobsd +++ b/tlobsd @@ -7,7 +7,7 @@ cmd=$@ # tlmgr if [[ $1 == "tlmgr" ]];then $cmd - [[ $? -eq 0 ]] && mktexobsdsymlinks 1> /dev/null + [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null fi # symlinks -- cgit v1.2.3