diff options
| -rw-r--r-- | runtime/doc/Makefile | 5 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 2 insertions, 5 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 6bbcbc367..d36f2ce06 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -32,7 +32,6 @@ DOCS = \ ft_ada.txt \ ft_sql.txt \ gui.txt \ - gui_w16.txt \ gui_w32.txt \ gui_x11.txt \ hangulin.txt \ @@ -167,7 +166,6 @@ HTMLS = \ ft_ada.html \ ft_sql.html \ gui.html \ - gui_w16.html \ gui_w32.html \ gui_x11.html \ hangulin.html \ @@ -388,9 +386,6 @@ hebrew.txt: russian.txt: touch russian.txt -gui_w16.txt: - touch gui_w16.txt - gui_w32.txt: touch gui_w32.txt diff --git a/src/version.c b/src/version.c index 778d1fc4a..0357cf597 100644 --- a/src/version.c +++ b/src/version.c @@ -749,6 +749,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1387, +/**/ 1386, /**/ 1385, |