.

tools/update_html

@@ -11,8 +11,9 @@ process() {
   mkdir -p html/$(dirname $1)
   rm -f html/$1.html
   convert_html $1
-  tools/linkify /tmp/tags html/$1.html
-  mv html/$1.html.out html/$1.html
+  tools/linkify /tmp/tags $1.html
+  mv $1.html.out html/$1.html
+  rm $1.html
 }
 
 URL_BASE='https://github.com/akkartik/mu/blob/main'
@@ -35,8 +36,6 @@ convert_html() {
   #   the ones we want in the html cause iTerm2 to slow down in alt-tabbing for some reason
   # 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)
 }
 
 ctags -x [0-9]*.subx [0-9]*.mu  > /tmp/tags