directory /man/texinfo/ @ 5614:281bf2b87915

name size permissions
[up] drwxr-xr-x
file fdl.texi 21099 -rw-r--r--
file texinfo.texi 730943 -rw-r--r--
file version.texi 188 -rw-r--r--