This file is indexed.

/usr/share/doc-base/arm2012 is in ada-reference-manual-2012 1:2012.2-9.

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
18
19
20
Document: arm2012
Title: Ada Reference Manual 2012
Author: Ada Working Group ISO/IEC JTC 1/SC 22/WG 9
Abstract: The Ada Reference Manual, ISO/IEC 8652:201x(E). It contains the entire text of the Ada 2012 standard.
Section: Programming/Ada

Format: HTML
Index: /usr/share/doc/ada-reference-manual-2012/arm2012.html/rm-TOC.html
Files: /usr/share/doc/ada-reference-manual-2012/arm2012.html/*

Format: PDF
Files: /usr/share/doc/ada-reference-manual-2012/arm2012.pdf.gz

Format: Text
Index: /usr/share/doc/ada-reference-manual-2012/arm2012.txt/rm-TOC.TXT
Files: /usr/share/doc/ada-reference-manual-2012/arm2012.txt/*

Format: info
Index: /usr/share/info/arm2012.info.gz
Files: /usr/share/info/arm2012.info.gz