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 7dcbcf5f9..532cc2df6 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -123,6 +123,7 @@ DOCS = \ usr_29.txt \ usr_30.txt \ usr_31.txt \ + usr_32.txt \ usr_40.txt \ usr_41.txt \ usr_42.txt \ @@ -251,6 +252,7 @@ HTMLS = \ usr_29.html \ usr_30.html \ usr_31.html \ + usr_32.html \ usr_40.html \ usr_41.html \ usr_42.html \ |