Le 18/07/2016 07:53, Scott Kostyshak a écrit :
On Mon, Jul 18, 2016 at 07:37:07AM +0200, Jean-Marc Lasgouttes wrote:

Shouldn't you make a difference in the help string?

If that is the case then definitely yes. And that also diminishes one of
the advantages of consistency I claimed.

Well, this is what the previous tooltip claimed, and you did not change this code AFAICS. Moreover, having TEXINPUTS relative to document makes sense.

JMarc

Reply via email to