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.
--
cheers,
Holger
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org
⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
⠈⠳⣄
Das Leben ist schön. Von 'einfach' war nie die Rede. (@lernzyklus)
signature.asc
Description: PGP signature

