This file is indexed.

/usr/share/doc-base/make-doc is in make-doc 3.81-5.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
Document: make-doc
Title: GNU Make
Author: various
Abstract: GNU Make is a program that determines which pieces of a 
 large program need to be recompiled and issues the commands to 
 recompile them, when necessary. 
Section: Programming

Format: HTML
Index: /usr/share/doc/make-doc/make_toc.html
Files: /usr/share/doc/make-doc/make_*.html