New build complete, correct version number is now included in the PDF docs:
https://build.geoserver.org/geoserver/release/2.13-RC1/geoserver-2.13-RC1-user-manual.pdf
On Wed, Mar 7, 2018 at 2:37 PM, Torben Barsballe <
tbarsba...@boundlessgeo.com> wrote:
> Looking at the PDF user manual, I still see the version as 2.12-SNAPSHOT.
> I think I may have determined where this is getting set:
> https://github.com/geoserver/geoserver/blob/2.13.x/doc/en/build.xml#L29
>
> Given that this issue has been occurring since sometime in 2.12, perhaps
> this got broken when we changed the docbuild from using make to maven
> around the time of the initial 2.12 release.
>
> I'm rerunning the build with a potential workaround, we'll see if it helps.
>
> Torben.
>
> On Wed, Mar 7, 2018 at 2:22 PM, Torben Barsballe <
> tbarsba...@boundlessgeo.com> wrote:
>
>> GeoServer 2.13-RC1 artifacts available for testing:
>> https://build.geoserver.org/geoserver/release/2.13-RC1/
>>
>> Torben
>>
>> On Wed, Mar 7, 2018 at 1:48 PM, Torben Barsballe <
>> tbarsba...@boundlessgeo.com> wrote:
>>
>>> Following from the GeoTools 19-RC1 and GeoWebCache 1.13-RC1 releases,
>>> the GeoServer 2.13-RC1 release process is starting.
>>>
>>> I will update here when the artifacts are available for testing.
>>>
>>> Torben
>>>
>>
>>
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Geoserver-devel mailing list
Geoserver-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geoserver-devel