- Made configure warn a lot when readline-stuff couldn't be found.
[ginac.git] / debian / dirs
1 usr/lib
2 usr/include
3 usr/share/man/man3