geoserver/geoserver — pull request #543 by ianturton (2014-03-21 13:59:28+00:00)
Title: First fix of User Docs

This is a minimal fix to make the PDF user docs build work.

https://jira.codehaus.org/browse/GEOS-6409