docs: The old make check-with-appliance/etc rules were renamed.

This fixes commit 68990840b64491b39ab8da5f1e46367ae5f01594.