diff options
-rwxr-xr-x | tools/update_html | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tools/update_html b/tools/update_html index 549f6cc3..c1d6e316 100755 --- a/tools/update_html +++ b/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 |