diff options
| author | Tommy Reynolds <Tommy.Reynolds@MegaCoder.com> | 2006-01-18 08:37:29 +0000 |
|---|---|---|
| committer | Tommy Reynolds <Tommy.Reynolds@MegaCoder.com> | 2006-01-18 08:37:29 +0000 |
| commit | 0af65c148402ee3903e5d05652b90d3afa4bfd46 (patch) | |
| tree | 40cb6e699b4a22a9c970b81a08aac65972a1737b /bin | |
| parent | c95e94f671f3a623d53dfa48ee11713dae66737e (diff) | |
| download | fedora-doc-utils-0af65c148402ee3903e5d05652b90d3afa4bfd46.tar.gz fedora-doc-utils-0af65c148402ee3903e5d05652b90d3afa4bfd46.tar.xz fedora-doc-utils-0af65c148402ee3903e5d05652b90d3afa4bfd46.zip | |
With the "-v" switch, output a note if we find a manifest file.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/copy-figs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/copy-figs b/bin/copy-figs index d07f825..382f9e7 100755 --- a/bin/copy-figs +++ b/bin/copy-figs @@ -140,6 +140,8 @@ haveManifest=$( fi ) [ "${DEBUG}" ] || echo >&2 "haveManifest=|${haveManifest}|" +[ "${VERBOSE}" -a "${haveManifest}" = "yes" ] || + echo >&2 "Using manifest to get file names" ( if [ "${haveManifest}" = "yes" ]; then |