From 982dfeb2175e598d358d1c29940846f905ec6640 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 11 Aug 2021 19:44:20 -0700 Subject: [PATCH] . --- tools/update_html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/update_html b/tools/update_html index 42d977ff..78a790aa 100755 --- a/tools/update_html +++ b/tools/update_html @@ -60,7 +60,7 @@ done ) for f in shell/*.mu do - test $# -gt 0 && test $1 != shell/$f && continue + test $# -gt 0 && test $1 != $f && continue process $f done @@ -69,7 +69,7 @@ done ) for f in browse-slack/*.mu do - test $# -gt 0 && test $1 != browse-slack/$f && continue + test $# -gt 0 && test $1 != $f && continue process $f done