if option

option() option ( DOC_DEV "Set ON|OFF (default=OFF) to build the developer's documentation"  OFF )