Fix wrong option --no-doc
Fix wrong option --no-idoc