diff options
author | Rene Engelhard <rene@rene-engelhard.de> | 2018-05-05 15:13:01 +0200 |
---|---|---|
committer | Rene Engelhard <rene@rene-engelhard.de> | 2018-05-05 15:26:42 +0200 |
commit | a154b3f59a7d6e6cf17e585521592bf96b42a20e (patch) | |
tree | 9c81813c6779166b0ef57dda324e0f44148300c0 /helpers/find-invalid-help-images.sh | |
parent | a536178daab521449620a80459371fa2bb76b295 (diff) |
s/galaxy/colibre/
... as galaxy got removed with 60413c9800c27f53c1108015b50754b065bc98c6
Change-Id: I4e3ec6db6b57b31e184ec53def5bdb54e064ad21
Diffstat (limited to 'helpers/find-invalid-help-images.sh')
-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" |