diff options
Diffstat (limited to 'lib-src/make-docfile.c')
| -rw-r--r-- | lib-src/make-docfile.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index 4824731672b..e2dc99214d2 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c | |||
| @@ -204,7 +204,8 @@ put_filename (char *filename) | |||
| 204 | int | 204 | int |
| 205 | scan_file (char *filename) | 205 | scan_file (char *filename) |
| 206 | { | 206 | { |
| 207 | int len = strlen (filename); | 207 | |
| 208 | size_t len = strlen (filename); | ||
| 208 | 209 | ||
| 209 | put_filename (filename); | 210 | put_filename (filename); |
| 210 | if (len > 4 && !strcmp (filename + len - 4, ".elc")) | 211 | if (len > 4 && !strcmp (filename + len - 4, ".elc")) |
| @@ -442,7 +443,7 @@ write_c_args (FILE *out, char *func, char *buf, int minargs, int maxargs) | |||
| 442 | register char *p; | 443 | register char *p; |
| 443 | int in_ident = 0; | 444 | int in_ident = 0; |
| 444 | char *ident_start; | 445 | char *ident_start; |
| 445 | int ident_length = 0; | 446 | size_t ident_length = 0; |
| 446 | 447 | ||
| 447 | fprintf (out, "(fn"); | 448 | fprintf (out, "(fn"); |
| 448 | 449 | ||