Add back gtk_doc option