Slightly change the output generated by --makefile-name.
-rw-r--r-- 368 COPYING
-rw-r--r-- 120227 ChangeLog
-rw-r--r-- 258260 MODULES.html
-rwxr-xr-x 38353 MODULES.html.sh
-rw-r--r-- 10322 README
drwxr-xr-x - build-aux
-rwxr-xr-x 6907 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 85687 gnulib-tool
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
drwxr-xr-x - tests
-rw-r--r-- 2955 users.txt