This file is indexed.

/usr/lib/python2.7/dist-packages/gnuradio/grc/core/domain.dtd is in gnuradio 3.7.11-10.

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
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
<!--
Copyright 2014 Free Software Foundation, Inc.
This file is part of GNU Radio

GNU Radio Companion is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

GNU Radio Companion is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
-->
<!ELEMENT domain (name, key, color?, multiple_sinks?, multiple_sources?, connection*)>
<!--
    Sub level elements.
 -->
<!ELEMENT connection (source_domain, sink_domain, make)>
<!--
    Bottom level elements.
    Character data only.
 -->
<!ELEMENT name (#PCDATA)>
<!ELEMENT key (#PCDATA)>
<!ELEMENT multiple_sinks (#PCDATA)>
<!ELEMENT multiple_sources (#PCDATA)>
<!ELEMENT color (#PCDATA)>
<!ELEMENT make (#PCDATA)>
<!ELEMENT source_domain (#PCDATA)>
<!ELEMENT sink_domain (#PCDATA)>