This file is indexed.

config is in libfltk1.1-dev 1.1.10-17.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

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
#!/bin/sh -e
. /usr/share/debconf/confmodule

# Inspect the filesystem only when reconfiguring.
if [ -f /usr/include/FL/Fl_Preferences.H ]  &&  [ "$1" = reconfigure ]; then
    if [ -L /usr/include/FL/Fl_Preferences.h ]; then
	links_present=true
    else
	links_present=false
    fi
    db_set libfltk1.1-dev/header-links $links_present
fi

db_input medium libfltk1.1-dev/header-links || true
db_go