16.11.2014 12:54, Eugene Zhukov пишет:
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";
Yes, the purpose of this case is to keep current behaviour. I'm not sure
that this file should places in /etc/ directory.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org