doc: update the reference for the title

The recent texi2html exports the title as 'fulltitle_no_texi'.