diff -r 7a57fe6a5157 runtime/doc/Makefile
--- a/runtime/doc/Makefile	Wed Jul 21 16:00:43 2010 +0200
+++ b/runtime/doc/Makefile	Wed Jul 21 14:09:24 2010 -0400
@@ -346,6 +346,8 @@
 noerrors:
 	-rm -f errors.log
 
+$(HTMLS): tags.ref
+
 .txt.html:
 	$(AWK) -f makehtml.awk $< >$@