avoid leadig double slashes in page_children

diff --git a/tools.sh b/tools.sh
index 1b7e6773dac5cfe6c6bdf961e8df3ef74d980d2c..c5545fb92e0cecc8975627514b7d80b32ea16aff 100755 (executable)
--- a/tools.sh
+++ b/tools.sh
@@ -77,8 +77,8 @@ page_children(){
 
   case $page in
   /*)
-    for glob in "$_DATA/pages/${page}"*/; do printf '%s\n' "${glob#"$_DATA/pages"}"; done
-    for glob in "$_EXEC/pages/${page}"*/; do printf '%s\n' "${glob#"$_EXEC/pages"}"; done
+    for glob in "$_DATA/pages/${page}"*/; do printf '%s\n' "${glob#"$_DATA/pages/"}"; done
+    for glob in "$_EXEC/pages/${page}"*/; do printf '%s\n' "${glob#"$_EXEC/pages/"}"; done
     ;;
   *)
     for glob in "$_DATA/pages/$PATH_INFO/${page}"*/; do printf '%s\n' "${glob#"$_DATA/pages/$PATH_INFO/"}"; done