add the inputenc package for the manual
add the inputenc package for the manual

Ignore-this: 56605de5e9720d4df73e77ca5368e613

darcs-hash:20101012163528-c41ad-ff3ffbb7be923c93454f801e53fe5bf6df78260a

fdopen/lwt,rneswold/lwt,rgrinberg/lwt,gfxmonk/lwt,rgrinberg/lwt,c-cube/lwt,mfp/lwt,janestreet/lwt-async,rgrinberg/lwt,gfxmonk/lwt,ocsigen/lwt,fdopen/lwt,ocsigen/lwt,rneswold/lwt,c-cube/lwt,rgrinberg/lwt,mirage/lwt,rneswold/lwt,ocsigen/lwt,mfp/lwt,c-cube/lwt,janestreet/lwt-async,mirage/lwt