- only build the list of plugins on the fly, for now.  Leave all other   files specified as before.  This solves the problem of   "error: cannot remove /usr/share/doc - directory not empty"   which I was getting when I tried to remove the RPM.
- only build the list of plugins on the fly, for now.  Leave all other
  files specified as before.  This solves the problem of
  "error: cannot remove /usr/share/doc - directory not empty"
  which I was getting when I tried to remove the RPM.

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet