diff options
Diffstat (limited to 'runtime/doc/Makefile')
| -rw-r--r-- | runtime/doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 1a0e841973..46b6125a9e 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -101,6 +101,7 @@ DOCS = \ tabpage.txt \ tagsrch.txt \ term.txt \ + terminal.txt \ tips.txt \ todo.txt \ uganda.txt \ @@ -236,6 +237,7 @@ HTMLS = \ tabpage.html \ tagsrch.html \ term.html \ + terminal.html \ tips.html \ todo.html \ uganda.html \ |