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.