diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile
index 3505c037debecfd8e0f75c1cd4445c09dad1a76c..a6610a937af68d3cba9da7f9c5cf1f7fcf8b59c9 100644
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -340,12 +340,14 @@ uganda.nsis.txt: uganda.txt
 		uganda.txt | uniq >uganda.nsis.txt
 
 # Awk version of .txt to .html conversion.
-html: noerrors tags tags.ref $(HTMLS)
+html: noerrors tags $(HTMLS)
 	@if test -f errors.log; then more errors.log; fi
 
 noerrors:
 	-rm -f errors.log
 
+$(HTMLS): tags.ref
+
 .txt.html:
 	$(AWK) -f makehtml.awk $< >$@