2 @setfilename maxima.info
4 @include include-maxima.texi
6 @c Include documentation categories
8 @node Documentation Categories, , Function and Variable Index, Top
9 @appendix Documentation Categories
10 @c Documentation categories section gets filled in by the script build_html.sh