In response to my own question earlier, (make-toc) returns a list of elements each of which must be evaluated. So to get the table of contents printed within a compile-text form we must use: (dolist (i (tt::make-toc)) (eval i)) Are there many users of cl-typesetting existing?