diff options
-rw-r--r-- | runtime/doc/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 3505c037..a6610a93 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 $< >$@ |