bug 6491 fixed - libinter.h was not installed under Linux (SEP #35 updated)
drwxr-xr-x SEP
drwxr-xr-x atoms_cc
drwxr-xr-x scilab
drwxr-xr-x scilab_doc
drwxr-xr-x tests