This file is indexed.

/usr/share/doc/dpkg-dev/frontend.txt is in dpkg-dev 1.17.5ubuntu5.

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
Frontend Interfaces
===================

This file will try to document some of the interfaces that dpkg makes
available to frontends or that expects them to use, which are currently
not covered by any other type of documentation.


Database Locking
----------------

Any frontend needing to make sure no write operation is currently happening,
should lock the dpkg database by locking the file «<admindir>/lock» using
file record locks (i.e. fcntl(2) advisory locking). The whole file should
be locked, as that's the most portable way to perform this operation; this
can be achieved by using start=0, len=0 and whence=SEEK_SET.

Take into account there will be a race condition between the frontend
unlocking the database and the invoked dpkg locking it again, in which
another process could lock it.

In the future this functionality will be available through a shared libdpkg
library, and all frontends will be expected to switch to that instead,
because this will fix the aforementioned race condition.