wayneeseguin/rvm — pull request #1617 by Nitrodist (2013-02-26 19:23:41+00:00)
Title: Remove REE specific configure option for docs

Fixes #1615