Fix about-formatting.sh

dash failed to parse the script.

Signed-off-by: Přemysl Janouch <p.janouch@gmail.com>

diff --git a/filters/about-formatting.sh b/filters/about-formatting.sh
index 313a4e6dc671ff24ac28e5c5367b76eaaecff1e7..892fbeb7a7933b0f33dca4f9e3162dc27cfc94ad 100755 (executable)
--- a/filters/about-formatting.sh
+++ b/filters/about-formatting.sh
@@ -18,7 +18,7 @@
 # CGIT_REPO_CLONE_URL  ( = repo.clone-url setting )
 
 cd "$(dirname $0)/html-converters/"
-case "$(tr '[:upper:]' '[:lower:]' <<<"$1")" in
+case "$(printf '%s' "$1" | tr '[:upper:]' '[:lower:]')" in
        *.md|*.mkd) exec ./md2html; ;;
        *.rst) exec ./rst2html; ;;
        *.[1-9]) exec ./man2html; ;;