internal-doc-file-name

internal-doc-file-name is a variable defined in `C source code'.
Its value is

"DOC"

Documentation:
Name of file containing documentation strings of built-in symbols.