Allow alternate settings module when building docs. Closes #1062.