Update runtime files

2020-06-14 17:29:55 +02:00
parent 8e20f75e58
commit 65e0d77a66
25 changed files with 629 additions and 232 deletions
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@ -141,6 +141,7 @@ DOCS = \
 	usr_43.txt \
 	usr_44.txt \
 	usr_45.txt \
+	usr_46.txt \
 	usr_90.txt \
 	usr_toc.txt \
 	various.txt \
@ -282,6 +283,7 @@ HTMLS = \
 	usr_43.html \
 	usr_44.html \
 	usr_45.html \
+	usr_46.html \
 	usr_90.html \
 	usr_toc.html \
 	various.html \