Make the manual use utf8 as base input encoding. This *requires* the UCS package...
tree4a504a5c079daefda80197932b3d24a0456780ba
drwxr-xr-x - apps
drwxr-xr-x - bootloader
drwxr-xr-x - docs
drwxr-xr-x - firmware
drwxr-xr-x - flash
drwxr-xr-x - fonts
drwxr-xr-x - gdb
drwxr-xr-x - manual
drwxr-xr-x - rbutil
drwxr-xr-x - tools
drwxr-xr-x - uisimulator
drwxr-xr-x - wps