diff options
Diffstat (limited to 'runtime/doc/Makefile')
| -rw-r--r-- | runtime/doc/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 3678040878..2942e5dac5 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -144,7 +144,9 @@ DOCS = \ usr_43.txt \ usr_44.txt \ usr_45.txt \ - usr_46.txt \ + usr_50.txt \ + usr_51.txt \ + usr_52.txt \ usr_90.txt \ usr_toc.txt \ various.txt \ @@ -290,7 +292,9 @@ HTMLS = \ usr_43.html \ usr_44.html \ usr_45.html \ - usr_46.html \ + usr_50.html \ + usr_51.html \ + usr_52.html \ usr_90.html \ usr_toc.html \ various.html \ |