1 files changed, 3 insertions, 1 deletions

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)