Error

two or more packages specified (redet-doc unknown)