gendocs.sh: make its "-s FILE" option more useful * build-aux/gendocs.sh: When honoring the -s FILE option, update $PACKAGE to reflect the probably-different basename of "FILE".