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 e4b2b5b05..7dbb2bae1 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -102,6 +102,7 @@ DOCS = \ tagsrch.txt \ term.txt \ terminal.txt \ + textprop.txt \ tips.txt \ todo.txt \ uganda.txt \ @@ -238,6 +239,7 @@ HTMLS = \ tagsrch.html \ term.html \ terminal.html \ + textprop.html \ tips.html \ todo.html \ uganda.html \ |