* lib/configure.py: Add tgif->png and tgif->ppm converters

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@13997 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/lib/configure.py b/lib/configure.py
index de581e0d3fbef8fbc88b131e77a818699f7ae4e9..aa604ad08a0198feaf88a2936b57ae2f3699a474 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -363,6 +363,8 @@ def checkConverterEntries():
   checkProg('a TGIF -> EPS/PPM converter', ['tgif'],
     rc_entry = [
       r'''\converter tgif       eps        "tgif -stdout -print -color -eps $$i > $$o" ""
+\converter tgif       ppm        "tgif -stdout -print -color -ppm $$i > $$o"   ""
+\converter tgif       png        "tgif -stdout -print -color -png $$i > $$o"   ""
 \converter tgif       pdf        "tgif -stdout -print -color -pdf $$i > $$o"   ""''',
       ''])
   #