PDF Manual now has Indexes.
Docs/manual.texi:
  Added stub and conditionals for removing GPL and LGPL from NuSphere
  manual.