Man pages matching name xmpushbuttongadget in section 3:

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