Remove old rdoc option