to call a shell script which outputs nothing if the file is not present. Remove the "whatis" file for ports where it does not contain anything useful and hasn't been updated for years. OK tsutsui@, hubertf@.
XXX: There is some work to do here to allow for different installation notes for different eval boards...