Various packages may load parts of pdf-tools without loading the main
file, but pdf-tools-install needs to be run before any of those parts
are used. (The README of pdf-tools says pdf-tools-install should be
run immediately at startup, or pdf-loader-install should be used
instead).
Various packages may load parts of pdf-tools without loading the main file, but pdf-tools-install needs to be run before any of those parts are used. (The README of pdf-tools says pdf-tools-install should be run immediately at startup, or pdf-loader-install should be used instead).