diff options
Diffstat (limited to 'lib-src/make-docfile.c')
| -rw-r--r-- | lib-src/make-docfile.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index ad366bb2e06..3583f363f93 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c | |||
| @@ -1007,7 +1007,9 @@ scan_lisp_file (filename, mode) | |||
| 1007 | } | 1007 | } |
| 1008 | } | 1008 | } |
| 1009 | 1009 | ||
| 1010 | else if (! strcmp (buffer, "custom-declare-variable")) | 1010 | else if (! strcmp (buffer, "custom-declare-variable") |
| 1011 | || ! strcmp (buffer, "defvaralias") | ||
| 1012 | ) | ||
| 1011 | { | 1013 | { |
| 1012 | char c1 = 0, c2 = 0; | 1014 | char c1 = 0, c2 = 0; |
| 1013 | type = 'V'; | 1015 | type = 'V'; |