deleted clisp-doc