Fix spotty dependency where none or just one of the
.rst files output by vmodtool.py was known by the Makefile.