Fix table of contents directive
Fix function name
Fix symbol type

Also bump sphinxcontrib-emacs version to add support for constants
Update texinfo manual