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.

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 32aa985eaffe1f39b9ca82b0c16faa450d7f13a2..2a8ac9b813175d9d398dadc600e9e46fb02839e8 100644 (file)
--- 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 2654387fb37b18a9318d07d443ff0b86fc00818e..411b7057861a8aa5aea983263962159ec9ca6b1b 100644 (file)
--- 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)