![he](/assets/img/avatar_default.png)
DISTRIBVERDEP in Makefile.distrib, and make both sysinst and distribution notes use that information so that they rebuild if the kernel version changes. Distribution notes didn't have this before, sysinst had a private (now outdated, since sys/sys/param.h now determines version) copy of this.