Use github theme and add some comments
[maxima.git] / doc / info / pt / maxima.texi
blobb37485f85c403a103ad98561aa6ec8e67e29e74f
1 \input ../texinfo @c -*-texinfo-*-
2 @setfilename  maxima.info
3 @finalout
4 @include include-maxima.texi
6 @bye