This prevents unecessary docs builds.
However, we do need to touch the *if.c mtime, otherwise a
doc-only change will cause vmodtool to run on every make afterwards.

Relevant to: #3901