Remove REE specific configure option for docs

Fixes #1615