Hi and thank you for your bug report! I examined the patch and have a question about it. What is the purpose of "} else if (new File("xslthl-config.xml").isFile()) {"? As far as I understand it will always be true. What did I miss?
I would only change configFilename = "xslthl-config.xml"; to configFilename = "/usr/share/xslthl/highlighters/xslthl-config.xml"; -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org