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 116c17f5d29e214e989c7d2bd0475798e03c869a)
Description
No description provided
Languages
Diff
100%