reopen 523837 = found 523837 3.9-2 thanks The --map option is still undocumented:
$ man depmod | grep -c -E -- '-m|--map' 0 -- Jakub Wilk -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
