Adding a missing menu for compatibility with makeinfo 5.1.
[maxima.git] / doc / 
treeb7ff664c4fa498141b8380917c699d33d929b4ce
drwxr-xr-x   ..
-rw-r--r-- 21 .gitignore
-rw-r--r-- 387 Makefile.am
-rw-r--r-- 489 contributors
drwxr-xr-x - emaxima
drwxr-xr-x - implementation
drwxr-xr-x - info
drwxr-xr-x - intromax
drwxr-xr-x - man
drwxr-xr-x - maximabook
drwxr-xr-x - share
drwxr-xr-x - tutorial