I think it is useless to do it because these info files are placed under standard info dir and they can be read by info command directly. (cherry picked from commit 82b4b465edb398ed7beba03a2db0aa7962446b98)
Description
No description provided
Languages
Diff
100%