directory /man/internals/ @ 3237:99fe0a7a4404

name size permissions
[up] drwxr-xr-x
file internals.texi 1269726 -rw-r--r--