Create TINAA documentation for a system. System-kind should be 'package or some other value for which it makes sense (e.g., an EKSL-system or an ASDF system if you have those loaded...). System-name is the identifier of the system. Destination is the location in the file system where you want the documentation to go. Finally, you can pass in other arguments that are specific to the kind of system you are documenting.