1 files changed, 20 insertions, 0 deletions
diff --git a/src/kile2.0-5_upd.pl b/src/kile2.0-5_upd.pl
new file mode 100644
index 0000000..16df72c
--- /dev/null
+++ b/src/kile2.0-5_upd.pl
@@ -0,0 +1,20 @@
+#!/usr/bin/perl
+
+# tbraun 10/10/2007
+
+print "# DELETE [Tools]DVItoPDF\n";
+
+print <<EOT;
+
+[Tool/DVItoPDF/Modern]
+class=Convert
+command=dvipdfmx
+options='%S.dvi'
+from=dvi
+to=pdf
+type=Process
+
+[Tools]
+DVItoPDF=Modern
+
+EOT