diff options
| -rw-r--r-- | runtime/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 62eb5f17b0..1d9e34d772 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -323,7 +323,7 @@ manpages: $(MANPAGES) # Awk version of .txt to .html conversion. html: noerrors tags $(HTMLS) - @if test -f errors.log; then more errors.log; fi + @if test -f errors.log; then cat errors.log; fi noerrors: -rm -f errors.log |