diff options
author | Kartik Agaram <vc@akkartik.com> | 2021-03-23 17:41:31 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2021-03-23 17:41:31 -0700 |
commit | 895093b3cf2690fb7701bb9e93ba3ba6a3076bf2 (patch) | |
tree | 89f00d75900a4a72d804bde5e3f5e7307ec97353 /tools | |
parent | c4199646d7bbf2f4eb917e7c85458c2373b79e83 (diff) | |
download | mu-895093b3cf2690fb7701bb9e93ba3ba6a3076bf2.tar.gz |
.
Diffstat (limited to 'tools')
-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 |