.

tools/update_html

@@ -8,7 +8,7 @@ set -e
 
 # generate html/$1.html using /tmp/tags
 process() {
-  mkdir -p html/`dirname $1`
+  mkdir -p html/$(dirname $1)
   rm -f html/$1.html
   convert_html $1
   tools/linkify /tmp/tags html/$1.html
@@ -36,7 +36,7 @@ convert_html() {
   # the following commands give us the best of both worlds
   sed -i -e 's/┈/╌/g' -e 's/┊/╎/g' $1.html
 
-  mv -i $1.html html/`dirname $1`
+  mv -i $1.html html/$(dirname $1)
 }
 
 ctags -x [0-9]*.subx [0-9]*.mu  > /tmp/tags