I've created a simple pull request with an update to the documentation. Do I also need to create a JIRA ticket for a simple fix?
Pull Request https://github.com/geoserver/geoserver/pull/3264 ~Thomas On Mon, Nov 26, 2018 at 12:34 PM Andrea Aime <[email protected]> wrote: > On Mon, Nov 26, 2018 at 8:47 PM Thomas <[email protected]> wrote: > >> I think I have figured it out. I had to mvn clean install on wcs1_1 >> project. >> > > This module has a "code generation" part based on javacc. One has to tell > intellij to run the phase where sources are generated > > >> The security tests in the security project were also not compiling. I >> did a right click on that and rebuilt it and that seemed to clear up my >> symbols issues. >> > > No clue about this one > > >> Because of this being a windows platform issue, would the PR be against >> documentation to add a windows aside section? Is this the same >> documentation that is with the source and is there documentation on >> changing that? >> > > The code generation per se is not windows specific, but sure, a PR would > be welcomed. Yes, it's the documentation part of the sources. > There are some indications about how to change the docs here: > https://docs.geoserver.org/latest/en/docguide/ > > Cheers > Andrea > > >
_______________________________________________ Geoserver-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/geoserver-devel
