Le 05 décembre 2017, David Bremner a écrit: > Package: elpa-pdf-tools > Version: 0.80-1 > Severity: normal > > I guess this is probably an upstream bug, but in Debian we should at > least document the necessity of calling #'pdf-tools-install before > pdf-tools will do anything.
I've wrote and push on git a README.Debian for this. I am hesitating between this solution and auto-activation, the latter being simpler for the user, but make the package diverge from upstream way of doing this.
