diff options
| author | Michael Biebl <biebl@debian.org> | 2013-10-17 00:18:44 +0200 |
|---|---|---|
| committer | Shaun McCance <shaunm@gnome.org> | 2013-10-27 11:38:06 -0400 |
| commit | e414c6afd3f2e20992ad489b07ea512dadd31f81 (patch) | |
| tree | 20266a821210a9829b9084165985fa62f7c8960c /tools | |
| parent | db63d86f7f1e5c9c45e40ae6fdfaaa452ad1cc42 (diff) | |
| download | yelp-tools-e414c6afd3f2e20992ad489b07ea512dadd31f81.tar.gz | |
Fix posix shell syntax error
https://bugzilla.gnome.org/show_bug.cgi?id=710331
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/yelp-check.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/yelp-check.in b/tools/yelp-check.in index a5baa24..1ad0c20 100755 --- a/tools/yelp-check.in +++ b/tools/yelp-check.in @@ -275,7 +275,8 @@ yelp_hrefs () { } yelp_ids_page () { - pageid=$(( + pageid=$( + ( echo '<xsl:stylesheet' echo ' xmlns:xsl="http://www.w3.org/1999/XSL/Transform"' echo ' xmlns:mal="http://projectmallard.org/1.0/"' |