Here are files I use to generate the grxvvvum.[inf/html/dvi/pdf] file before every release.
It is no necesary to do nothing with them.
