# Files brought in by gnulib-tool:
/install-sh
/mkinstalldirs
/compile
/ar-lib

