This file is indexed.

/usr/lib/puredata/tcl/pkg_mkIndex.tcl is in puredata-gui 0.46.7-3.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
#!/usr/bin/tclsh

puts stdout "Watch out, this doesn't work on packages with namespace import"
pkg_mkIndex -verbose -- [pwd] *.tcl *.[info sharedlibextension]

## this currently needs to be added to pkg_mkIndex manually, ug
#package ifneeded pd_menus 0.1 [list source [file join $dir pd_menus.tcl]]