Corrects Makefile generation when some script names are of the form ddd-d-name, where d represent a digit. This is used for package management and/or for adding custom scripts (see README)
Corrects Makefile generation when some script names are of the form
ddd-d-name, where d represent a digit. This is used for package management
and/or for adding custom scripts (see README)

git-svn-id: 9d360e937358a6045131c933812460b0d7e6dc2a@3557 7d5e3409-5ede-0310-83dd-dbcb3a32f907

ojab/jhalfs,ojab/jhalfs,ojab/jhalfs