diff options
| author | Rene Engelhard <rene@rene-engelhard.de> | 2018-05-05 15:13:01 +0200 |
|---|---|---|
| committer | Jan Holesovsky <kendy@collabora.com> | 2018-08-07 17:55:29 +0200 |
| commit | 45b5de81a7f7506872f7d72669d556e1386f25d7 (patch) | |
| tree | 977d531b0dee2323f259dcb393584d23eb18f320 /helpers | |
| parent | 443e50c9cc063482f034c6f4b2f99d529b8c171f (diff) | |
s/galaxy/colibre/
... as galaxy got removed with 60413c9800c27f53c1108015b50754b065bc98c6
Change-Id: I4e3ec6db6b57b31e184ec53def5bdb54e064ad21
Diffstat (limited to 'helpers')
| -rwxr-xr-x | helpers/find-invalid-help-images.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/helpers/find-invalid-help-images.sh b/helpers/find-invalid-help-images.sh index c73d40ed28..d779f80b84 100755 --- a/helpers/find-invalid-help-images.sh +++ b/helpers/find-invalid-help-images.sh @@ -6,7 +6,7 @@ # file, You can obtain one at http://mozilla.org/MPL/2.0/. # This script looks up <image ...> tags in helpcontent, checks whether the -# referenced file exist in the galaxy theme or in source/ and prints a warning if it does not. +# referenced file exist in the colibre theme or in source/ and prints a warning if it does not. # Execute from the root directory of the helpcontent2 repository. # No parameters are used. @@ -22,11 +22,11 @@ while read nextline ; do img3=${img2%%\"*}; # Check the images existence - if [ ! -f "../icon-themes/galaxy/$img3" ] ; then - # Not present in galaxy, but it may be under source/ + if [ ! -f "../icon-themes/colibre/$img3" ] ; then + # Not present in colibre, but it may be under source/ if [ ! -f "source/$img3" ] ; then # Not even there, we have an error! - echo "$img3 included in file $sourcefile is not found in the galaxy theme or the help media!"; + echo "$img3 included in file $sourcefile is not found in the colibre theme or the help media!"; fi fi done <<< "$images" |