diff options
Diffstat (limited to 'lib-src/make-docfile.c')
| -rw-r--r-- | lib-src/make-docfile.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index 7330b821768..ed6dde3a0bf 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c | |||
| @@ -1185,6 +1185,3 @@ scan_lisp_file (filename, mode) | |||
| 1185 | fclose (infile); | 1185 | fclose (infile); |
| 1186 | return 0; | 1186 | return 0; |
| 1187 | } | 1187 | } |
| 1188 | |||
| 1189 | /* arch-tag: f7203aaf-991a-4238-acb5-601db56f2894 | ||
| 1190 | (do not change this comment) */ | ||