Man pages matching name generate-intr-interface in section 1:

generate-intr-interface.1.en

debian 13 / theme-d-intr-dev