Martin Castillo <casti...@uni-bremen.de> writes: > Hi, > > in the second patch file: >> + ;; We only need to build the 'dir' file for inputs that does > containing info >> + ;; manuals. > s/containing/contain >
Okay, thanks! > On 15.12.2017 16:12, 宋文武 wrote:> Hello! >> >> Currently we run profile hooks for all manifest inputs, so if you >> install a new package to your profile, all profile hooks will be run >> again, even if the new package doesn't provide info manuals, man pages, >> etc. Ideally only interested hooks need to be run, eg: if the new >> package has info manuals, then the 'info-dir-file' hook will run. > > One would need to filter man-pages too, right? Yes, that need be done in the 'manual-database' hook.