summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtags.tl3
1 files changed, 2 insertions, 1 deletions
diff --git a/tags.tl b/tags.tl
index 93ffa965..bb32ee44 100755
--- a/tags.tl
+++ b/tags.tl
@@ -65,7 +65,8 @@
(stream (make-strlist-input-stream lines))
(*rec-source-loc* t))
(with-stream (stream (open-file path))
- (unless (starts-with "#!" (get-line stream))
+ (if (starts-with "#!" (get-line stream))
+ (pop lines)
(seek-stream stream 0 :from-start))
(build
(add (new file-tag