This file is indexed.

/usr/share/doc-base/debian-menu-policy is in debian-policy 3.9.5.0.

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
12
13
14
15
16
17
Document: debian-menu-policy
Title: Debian Menu Policy Manual
Author: The Debian Policy Mailing list
Abstract: This manual describes the policy requirements for the Menu
 system in the Debian distribution, describing the
 hierarchical structure of the menu sections.
Section: Debian

Format: debiandoc-sgml
Files: /usr/share/doc/debian-policy/menu-policy.sgml.gz

Format: text
Files: /usr/share/doc/debian-policy/menu-policy.txt.gz

Format: HTML
Index: /usr/share/doc/debian-policy/menu-policy.html/index.html
Files: /usr/share/doc/debian-policy/menu-policy.html/*.html