3715

Fix cross-links in html for the edit/ app.

I originally thought I'd need to provide a commandline flag like --rel-path or
something. But we need to support different relative paths in a single html
file. So the solution instead is appropriately engineering the tags file.

1 files changed, 6 insertions, 1 deletions

diff --git a/update_html b/update_html
index 1cf72d00..fdd29ef2 100755
--- a/update_html
+++ b/update_html
@@ -50,7 +50,12 @@ then
   ctags -x *.cc  |grep -v "^operator \| member \| variable "  > cpp.tags
   linkify/linkify cpp.tags html/*.cc.html
   ctags -x 0*.mu  > mu.tags
-  linkify/linkify mu.tags html/*.mu.html html/edit/*.mu.html
+  linkify/linkify mu.tags html/*.mu.html
+  ( cd edit
+    ctags -x *.mu ../0*.mu > mu.tags
+    ../linkify/linkify mu.tags ../html/edit/*.mu.html
+    rm mu.tags
+  )
   rm *.tags
   ( cd linkify; clean; )
   for f in html/*.html html/edit/*.html