debian / docson commit [PATCH] Install tools with "make install-tools". (8cc3930)
   1README
   2COPYING
   3