Add docs for --with-develop