Editing page "texinfo"
Base on previous version: 0 - 1257 - 1258 - 2490 - 4079 - 4718 - 5222 - 5944 - 6219 - 7155

Change summary:
Tags allowed: