From 762107fdc23e7739e9db6843173506c4d00cae0e Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 30 Dec 2020 09:37:50 -0800 Subject: 7476 --- tools/update_html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/update_html b/tools/update_html index 763b929a..b75a6a9e 100755 --- a/tools/update_html +++ b/tools/update_html @@ -15,7 +15,7 @@ process() { mv html/$1.html.out html/$1.html } -URL_BASE='https://github.com/akkartik/mu/blob/master' +URL_BASE='https://github.com/akkartik/mu/blob/main' convert_html() { vim -c "set number" -c TOhtml -c write -c qall $1 -- cgit 1.4.1-2-gfad0