bug#25452: stumpwm does not install info manual

[random user via web]

Hello.

I think this was fixed in commit 46c1c5537b3c140b1e597a020f38c77fb97f26ec

Close?