Fixes problem with EXTRA_DIST
[maxima.git] / doc / 
treec1409f8d667168b7b074d671dddcbcc3c204d3d6
drwxr-xr-x   ..
-rw-r--r-- 21 .gitignore
-rw-r--r-- 590 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 - misc
drwxr-xr-x - share
drwxr-xr-x - tutorial