#!/usr/bin/perl # dani 15.09.2006 # first delete some groups and keys, if they exist print "# DELETEGROUP [Tool/Convert/eps2png]\n"; print "# DELETEGROUP [Tool/Convert/pdf2png]\n"; print "# DELETEGROUP [Tool/DVItoPNG/Default]\n"; print "# DELETEGROUP [Tool/DVItoPS/dvi2eps]\n"; print "# DELETE [Tools]Convert\n"; print "# DELETE [Tools]DVItoPNG\n"; print "# DELETE [ToolsGUI]Convert\n"; print "# DELETE [ToolsGUI]DVItoPNG\n"; print "# DELETE [ToolsGUI]ViewBib\n"; # now filter the configuration file print <