diff options
Diffstat (limited to 'runtime')
| -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 3d10d0ea98..dabbcd08d9 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -36,5 +36,5 @@ tags.ref tags.html: tags $(AWK) -f maketags.awk tags >tags.html clean: - -rm -f *.html tags.ref $(HTMLS) errors.log + -rm -f *.html tags.ref $(HTMLS) errors.log tags |