patch applied (hugs98): use new --configure-option option to setup configure

24 Jul 2007


      Tue Jul 24 04:41:41 PDT 2007  Ross Paterson 
  * use new --configure-option option to setup configure

    M ./libraries/tools/convert_libraries -1 +1