Tinaa is one of Gary King's Common Lisp packages. Blame him!
Using Tinaa in brief:
(document-system system-kind system-name destination-root)
The system-kind can be 'package or 'asdf-system and the name is the name of the system.
tinaa
Tinaa is Not An Acronym. Tinaa is a Common Lisp documentation tool. Tinaa's home page is at http://common-lisp.net/project/tinaa and is probably much more up to date.