Set shellflags to a reasonable default if it's not set already.
[make.git] / doc / 
tree943fc7ee6c358db28579c6d0657682b2d8e82b3f
drwxr-xr-x   ..
-rw-r--r-- 221 .cvsignore
-rw-r--r-- 1200 Makefile.am
-rw-r--r-- 433667 make.texi