This file is indexed.

/usr/share/doc/pd-flext-dev/README.Debian is in pd-flext-dev 0.6.0+git20161101.1.01318a94-3.

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
pd-flext for Debian
------------------

The Debian package uses autotools to build Flext, and provides a pkg-config file
for externals to query the appropriate build flags.

While pd-flext-dev does not provide a 'build.sh' script, it ships a
Makefile.flext that can be used to build flext externals.

Instead of '.../flext/build.sh pd gcc' (as per the flext documentation), you can
instead build (most) flext externals via:

    make -f /usr/share/pd-flext/dev/Makefile.flext

This requires the pd-lib-builder package to be installed.

 -- IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org>  Tue, 01 Nov 2016 23:49:16 +0100