diff options
author | Jim Meyering <meyering@redhat.com> | 2010-05-04 09:43:05 +0200 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2010-05-04 09:43:05 +0200 |
commit | cbbec352566be60d2ede1ee43f6bc911e547d8b0 (patch) | |
tree | d61614d3eb0fb331611275dee4a820a0116403be /doc | |
parent | 4169d4de4a1217df3c44e56e737d8d5c2565e7bb (diff) | |
download | gnulib-cbbec352566be60d2ede1ee43f6bc911e547d8b0.tar.gz |
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".
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions