subject:"Is JENA_HOME the same as JENAROOT\?"

Re: Is JENA_HOME the same as JENAROOT?

2018-11-22 Thread Andy Seaborne

Already fixed in staging: http://jena.staging.apache.org/documentation/tools/index.html#common-issues-with-running-the-tools JENA_HOME On 22/11/2018 17:08, Martynas Jusevičius wrote: Hi, the current documentation is unclear IMO:

Is JENA_HOME the same as JENAROOT?

2018-11-22 Thread Martynas Jusevičius

Hi, the current documentation is unclear IMO: https://jena.apache.org/documentation/tools/index.html#common-issues-with-running-the-tools It says $JENAROOT needs to be set, but then proceeds to show how to check $JENA_HOME. Which one is it? Or both? Martynas