1 files changed, 3 insertions, 0 deletions

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 05a08473c3f..ccd245e0139 100644
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -1107,6 +1107,9 @@ scan_c_stream (FILE *infile)
                 g->flags |= DEFUN_noreturn;
               if (strstr (input_buffer, "const"))
                 g->flags |= DEFUN_const;
+
+              /* Although the noinline attribute is no longer used,
+                 leave its support in, in case it's needed later.  */
               if (strstr (input_buffer, "noinline"))
                 g->flags |= DEFUN_noinline;
             }