Timeline

04/30/2017:

21:50 Ticket #1710 ($JHALFSDIR maybe put twice in a path) closed by Pierre Labastie

fixed: Fixed at r 3962

21:43 Ticket #1710 ($JHALFSDIR maybe put twice in a path) updated by Pierre Labastie

Ah, I see, it is only used when "Rebuild the Makefile" has been …

21:37 Ticket #1710 ($JHALFSDIR maybe put twice in a path) updated by Pierre Labastie

Status, Owner changed

21:37 Ticket #1710 ($JHALFSDIR maybe put twice in a path) created by Pierre Labastie

In the jhalfs script, we have: […] but we also have: […] (or the …

04/20/2017:

12:41 Ticket #1709 (quote bash variables when passing them to xsltproc) created by Pierre Labastie

When we have something like: […] and the variable PARAM1 is empty, …