diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/doc/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index a6610a937..86ccb74ff 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -229,7 +229,6 @@ HTMLS = \ starting.html \ syntax.html \ tabpage.html \ - tags.html \ tagsrch.html \ term.html \ tips.html \ |