add the correct input file to makeindex call
treecc78d96b72abc024e2edfb838340a4cb78a7f2e5
drwxr-xr-x - CVSROOT
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 - songdbj
drwxr-xr-x - tools
drwxr-xr-x - uisimulator
drwxr-xr-x - wps
drwxr-xr-x - www