mirror of
https://github.com/cuberite/polarssl.git
synced 2025-12-03 20:23:12 -05:00
Include this new section in the "full for documentation" (`realfull`) configuration, so that these options are documented in the official documentation build (`scripts/apidoc_full.sh`). Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>