]> git.lyx.org Git - features.git/history - mkinstalldirs
make sure extensions are kept when necessary
[features.git] / mkinstalldirs
2000-11-21 Lars Gullik Bjønneswe need to this be able to make install from build dir