Georg Baum wrote:
I thought it would be a script, but that does not really matter. My logic goes as follows: If it is something specific to LyX then it should be installed in the LyX folder. We can detect this, because in this case a placeholder like $$s would be used. If it is not installed in the LyX folder then it is something more general, and therefore subject to auto overriding.
Then how should LyX know that $$s should be replaced with something like "pdfview"?
It would help if configure.py would write this setting on windows, similar what is currently done with the dtl tools. Putting it in configure.py would make sense if the new tool would be integrated in the normal build process.
It will be a custom written tool for LyX/Windows, not a common thing like the dtl tools. It will also not be a script like clean_dvi.
But if you like it to be in configure.py and can provide a method for configure.py to override the auto-detection, that's also fine with me.
You seem to have a faible for proposing things I don't like :-) IMHO yet another file is too confusing. But I am not going to decide what we actually do and will stop now.
The thing is very simple. I need a way to override the auto-detection for obvious reasons as explained before. I don't care whether it will be in configure.py or in lyxrc.distviewers. I just need something that works.
I thought that Jean-Marc would tell his opinion, because he was involved in creating the current status, but he seems to be too busy. Anyway, it is he who needs to agree, not me.
Jean-Marc, can you please say which option you prefer? Joost