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

Ignore-this: 56605de5e9720d4df73e77ca5368e613

darcs-hash:20101012163528-c41ad-ff3ffbb7be923c93454f801e53fe5bf6df78260a.gz

avsm/lwt-OLD,avsm/lwt-OLD