Re: [Geoserver-devel] Documentation build

2017-05-30 Thread Jody Garnett
yep, that was the goal :) -- Jody Garnett On 26 May 2017 at 14:14, Nuno Oliveira wrote: > Hi Ben, > > Indeed with "ant user" it works just fine and only HTML seems to be build > :) > > Thanks Ben ! > > On 26-05-2017 21:55, Ben Caradoc-Davies wrote: > >> On 27/05/17 01:17, Nuno Oliveira wrote: >

Re: [Geoserver-devel] Documentation build

2017-05-26 Thread Nuno Oliveira
Hi Ben, Indeed with "ant user" it works just fine and only HTML seems to be build :) Thanks Ben ! On 26-05-2017 21:55, Ben Caradoc-Davies wrote: On 27/05/17 01:17, Nuno Oliveira wrote: It was really nice to be able to build only HTML documentation for example with the makefiles. I use "ant

Re: [Geoserver-devel] Documentation build

2017-05-26 Thread Ben Caradoc-Davies
On 27/05/17 01:17, Nuno Oliveira wrote: It was really nice to be able to build only HTML documentation for example with the makefiles. I use "ant user" which I think builds just the HTML. The is documented in the README.md. I am using apache-ant-1.10.1. I have not tried using Maven to build t

Re: [Geoserver-devel] Documentation build

2017-05-26 Thread Andrea Aime
On Fri, May 26, 2017 at 3:17 PM, Nuno Oliveira < nuno.olive...@geo-solutions.it> wrote: > It was really nice to be able to build only HTML documentation for example > with the makefiles. > Fully agreed, the makefiles were added because they were faster (if not fully multiplatform) and I also foun

[Geoserver-devel] Documentation build

2017-05-26 Thread Nuno Oliveira
Hi, I'm not able to build the documentation of GeoServer without updating the version of Maven antrun plugin to 1.8 (note that I have the same issue with Geotools): org.apache.maven.plugins maven-antrun-plugin 1.8 Without this I got this exceptions: [ERROR] Failed to execute goal