Update runtime files

2022-09-04 17:45:43 +01:00
parent 806a273f3c
commit 0daafaa7d9
39 changed files with 922 additions and 687 deletions
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@ -115,6 +115,7 @@ DOCS = \
 	todo.txt \
 	uganda.txt \
 	undo.txt \
+	userfunc.txt \
 	usr_01.txt \
 	usr_02.txt \
 	usr_03.txt \
@ -265,6 +266,7 @@ HTMLS = \
 	todo.html \
 	uganda.html \
 	undo.html \
+	userfunc.html \
 	usr_01.html \
 	usr_02.html \
 	usr_03.html \