Use nodoc instead of deprecated no_doc.