Emit a stub for gl_LIBTOOL: we want to cache whether --libtool was specified.
-rw-r--r-- 368 COPYING
-rw-r--r-- 58041 ChangeLog
-rw-r--r-- 199225 MODULES.html
-rwxr-xr-x 35764 MODULES.html.sh
-rw-r--r-- 9736 README
drwxr-xr-x - build-aux
-rwxr-xr-x 5779 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 42969 gnulib-tool
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
drwxr-xr-x - tests