The control area tag (:ctrl.) specifies where push buttons are to be displayed, and which push buttons you want displayed. When specifying a control area, always precede the tagging with :docprof., then imbed :ctrl. between the control-area definition tags (:ctrldef. and :ectrldef.). For example:
:docprof toc=123. :ctrldef. :ctrl. :ectrldef.