File indexing completed on 2025-01-12 10:44:38
0001 #!/usr/bin/perl 0002 0003 # tbraun 10/10/2007 0004 0005 print "# DELETE [Tools]DVItoPDF\n"; 0006 0007 print <<EOT; 0008 0009 [Tool/DVItoPDF/Modern] 0010 class=Convert 0011 command=dvipdfmx 0012 options='%S.dvi' 0013 from=dvi 0014 to=pdf 0015 type=Process 0016 0017 [Tools] 0018 DVItoPDF=Modern 0019 0020 EOT