1 files changed, 3 insertions, 2 deletions

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 78becac6c8a..f74b3d516d1 100644
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -658,9 +658,10 @@ write_globals (void)
           /* It would be nice to have a cleaner way to deal with these
              special hacks, too.  */
           if (strcmp (globals[i].name, "Fbyteorder") == 0
-              || strcmp (globals[i].name, "Ftool_bar_height") == 0
+              || strcmp (globals[i].name, "Fframe_windows_min_size") == 0
+              || strcmp (globals[i].name, "Fidentity") == 0
               || strcmp (globals[i].name, "Fmax_char") == 0
-              || strcmp (globals[i].name, "Fidentity") == 0)
+              || strcmp (globals[i].name, "Ftool_bar_height") == 0)
             fputs (" ATTRIBUTE_CONST", stdout);
 
           puts (";");