updated for version 7.4.586
Problem: Parallel building of the documentation html files is not reliable.
Solution: Remove a cyclic dependency. (Reiner Herrmann)
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile
index a6610a9..86ccb74 100644
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -229,7 +229,6 @@
starting.html \
syntax.html \
tabpage.html \
- tags.html \
tagsrch.html \
term.html \
tips.html \
diff --git a/src/version.c b/src/version.c
index 6fe2b32..d43e4c1 100644
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 586,
+/**/
585,
/**/
584,