@@ -137,11 +137,11 @@ if {[file isdirectory $file]} { continue } switch -glob -- $file { - "*.log" - "*.ttml" - "*.html" - "*.desc" { + "*.log" - "*.ttml" - "*.html" - "*.desc" - "*-origname" - "*-tclsh" { continue } } # Derive what we can from the filename