From fa786ea791469364d635b6a5eb877b0c4e3333ce Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sun, 12 Jan 2020 12:15:55 -0800
Subject: 5884

---
 tools/update_html | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'tools/update_html')

diff --git a/tools/update_html b/tools/update_html
index 45af0f3f..7efddfe7 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -38,6 +38,13 @@ convert_html() {
   mv -i $1.html html/`dirname $1`
 }
 
+ctags -x *.cc  |grep -v '^. '  > /tmp/tags  # don't hyperlink every 'i' to the integer register variant
+for f in *.cc
+do
+  test $# -gt 0  &&  test $1 != $f  &&  continue
+  process $f
+done
+
 ctags -x *.subx  > /tmp/tags
 for f in *.subx
 do
-- 
cgit 1.4.1-2-gfad0