From c4199646d7bbf2f4eb917e7c85458c2373b79e83 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 23 Mar 2021 17:34:07 -0700
Subject: .

---
 tools/update_html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

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
-- 
cgit 1.4.1-2-gfad0