Man pages matching name sdcclib in section 1:

sdcclib.1.en

debian 10 / sdcc