From f2e6a9b4aed4125284712ff041b6443e0ba01c57 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 6 Aug 2024 16:29:55 +0200 Subject: [PATCH] Add plt as gnuplot extension (#11148) This seems to be the common one on Windows --- lib/configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/configure.py b/lib/configure.py index c18ccf405f..d6540ca312 100644 --- a/lib/configure.py +++ b/lib/configure.py @@ -1270,7 +1270,7 @@ def checkConverterEntries(): path = ['', inkscape_path]) # checkProg('Gnuplot', ['gnuplot'], - rc_entry = [ r'''\Format gnuplot "gp, gnuplot" "Gnuplot" "" "" "" "vector" "text/plain" + rc_entry = [ r'''\Format gnuplot "gp, gnuplot, plt" "Gnuplot" "" "" "" "vector" "text/plain" \converter gnuplot pdf6 "$${python} $$s/scripts/gnuplot2pdf.py $$i $$o" "needauth"''' ]) # # gnumeric/xls/ods to tex -- 2.39.5