Make make-docfile.c consistent with src/keyboard.c.

 lib-src/make-docfile.c (write_globals): Special-case
 Fexit_recursive_edit and Fabort_recursive_edit as well, as
 functions that are _Noreturn, to be consistent with
 src/keyboard.c.

2 files changed, 10 insertions, 1 deletions

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 32aa985eaff..2a8ac9b8131 100644
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,3 +1,10 @@
+2012-10-01  Fabrice Popineau  <fabrice.popineau@gmail.com>
+
+        * make-docfile.c (write_globals): Special-case
+        Fexit_recursive_edit and Fabort_recursive_edit as well, as
+        functions that are _Noreturn, to be consistent with
+        src/keyboard.c.
+
 2012-09-30  Eli Zaretskii  <eliz@gnu.org>
 
         * ntlib.c (gettimeofday): Copy from src/w32.c.  lib/gettime.c
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 2654387fb37..411b7057861 100644
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -659,7 +659,9 @@ write_globals (void)
              special hacks.  */
           if (strcmp (globals[i].name, "Fthrow") == 0
               || strcmp (globals[i].name, "Ftop_level") == 0
-              || strcmp (globals[i].name, "Fkill_emacs") == 0)
+              || strcmp (globals[i].name, "Fkill_emacs") == 0
+              || strcmp (globals[i].name, "Fexit_recursive_edit") == 0
+              || strcmp (globals[i].name, "Fabort_recursive_edit") == 0)
             fprintf (outfile, "_Noreturn ");
           fprintf (outfile, "EXFUN (%s, ", globals[i].name);
           if (globals[i].value == -1)