Package: debian-policy Version: 4.1.0.0 Hi!
The info file, on its initial page contains a Menu with the following entries: ,--- * Menu: * Version:: * Contents:: * Legal Notice:: `--- For which Version contains a one-liner. It would be nicer if Contents would get expanded into the main Menu. Thanks, Guillem