X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fconfigure.py;h=58e2ae47790d7e22c9cf84489b5547e5b71a0941;hb=703eca76700970844831200834e1c619fc6bc6c4;hp=77a7c63fb3f14f976df29b71216400ab0915b51b;hpb=a2f6539aff5ed9c6234d8ee55947ce5871da50fb;p=lyx.git

diff --git a/lib/configure.py b/lib/configure.py
index 77a7c63fb3..58e2ae4779 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -266,6 +266,7 @@ def checkFormatEntries(dtl_tools):
 \Format dateout    tmp    "date (output)"         "" ""	"%%"	""
 \Format docbook    sgml    DocBook                B  ""	"%%"	"document"
 \Format docbook-xml xml   "Docbook (XML)"         "" ""	"%%"	"document"
+\Format dot        dot    "Graphviz Dot"          "" ""	"%%"	"vector"
 \Format literate   nw      NoWeb                  N  ""	"%%"	"document"
 \Format lilypond   ly     "LilyPond music"        "" ""	"%%"	"vector"
 \Format latex      tex    "LaTeX (plain)"         L  ""	"%%"	"document"
@@ -477,6 +478,9 @@ def checkConverterEntries():
 \converter agr        ppm        "gracebat -hardcopy -printfile $$o -hdevice PNM $$i 2>/dev/null"	""''',
             ''])
     #
+    checkProg('a Dot -> PDF converter', ['dot -Tpdf $$i -o $$o'],
+        rc_entry = [ r'\converter dot        pdf        "%%"	""'])
+    #
     #
     path, lilypond = checkProg('a LilyPond -> EPS/PDF/PNG converter', ['lilypond'])
     if (lilypond != ''):