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.

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.