From 62a52ffbfe2880fe754732ca3417eab96ff83738 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 1 Jul 2015 10:19:04 -0700
Subject: 1690

---
 update_html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'update_html')

diff --git a/update_html b/update_html
index 14bd8ed5..decd732a 100755
--- a/update_html
+++ b/update_html
@@ -6,7 +6,7 @@ do
   vim -c "TOhtml | w | qa" $f
   mv $f.html html
 done
-sed -i 's,<title>\~/Desktop/s/mu/,<title>Mu - ,' html/*
+sed -i 's,<title>\~/mu/,<title>Mu - ,' html/*
 sed -i 's,\.html</title>,</title>,' html/*
 sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/*
 # tweak contrast
-- 
cgit 1.4.1-2-gfad0