From 895093b3cf2690fb7701bb9e93ba3ba6a3076bf2 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Tue, 23 Mar 2021 17:41:31 -0700 Subject: . --- tools/update_html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'tools/update_html') 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 -- cgit 1.4.1-2-gfad0