Add plt as gnuplot extension (#11148)

This seems to be the common one on Windows

diff --git a/lib/configure.py b/lib/configure.py
index c18ccf405f396d1a4bafebc81ed0ff6c734a89ec..d6540ca312201a0894b7d76dd4c3e222b13e9ced 100644 (file)
--- 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