bug#71606: Info manuals don't appear in default profile despite correct(?) environment variables

[Suhail Singh]

Olivier Rojon <o.ro...@posteo.net> writes:

> now the problem is solved.

Closing the issue.

-- 
Suhail