about summary refs log tree commit diff stats
path: root/tools
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2021-03-23 17:34:07 -0700
committerKartik Agaram <vc@akkartik.com>2021-03-23 17:34:07 -0700
commitc4199646d7bbf2f4eb917e7c85458c2373b79e83 (patch)
tree0ecc658995be79c6ac17d71713edee15a56a7a4a /tools
parent3350c34a74844e21ea69077e01efff3bae64bdcd (diff)
downloadmu-c4199646d7bbf2f4eb917e7c85458c2373b79e83.tar.gz
.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/update_html4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/update_html b/tools/update_html
index c4286bef..549f6cc3 100755
--- a/tools/update_html
+++ b/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