772
769
(set! *name* (if vet-node-name (vet-node-name cmd name) name))
773
770
(fprintf (current-error-port) " %s \"%s\"\\n" cmd *name*)
777
779
(fprintf *txi-output-port* "@%s %s\\n" cmd name))
779
781
(fprintf *txi-output-port* "@node %s, %s, %s, %s\\n"
783
786
(fprintf *txi-output-port* "@%s %s\\n" cmd name)
784
787
(cond ((and (not (eqv? 'top cmd)) (not (null? (list-ref nod 5))))