directory /man/internals/ @ 56:c0965ff3b039 r19-16-pre3

name size permissions
[up] drwxr-xr-x
file Makefile 1849 -rw-r--r--
file index.perm 1211 -rw-r--r--
file index.unperm 1229 -rw-r--r--
file internals.texi 301072 -rw-r--r--