Yes, info version is included and it contains appendix, too. So closing this bug is right action.
Thanks for your effort. On Thu, 2023-02-09 at 16:28 +0000, Holger Levsen wrote: > hi, > > actually I found the info version now, but it seems complete to me: > > $ sudo apt install info > $ info developers-reference > > # voila. /usr/share/info/developers-reference.info.gz is where the file is. > > So I'm still inclined to close this bug. > >
