Man pages matching name xmpushbutton in section 3:

XmPushButton.3.en	debian 10 / libmotif-dev
XmPushButton.3.en	debian 11 / libmotif-dev
XmPushButton.3.en	debian 12 / libmotif-dev