diff options
Diffstat (limited to 'Master/texmf-dist/scripts/context/ruby/textools.rb')
-rw-r--r-- | Master/texmf-dist/scripts/context/ruby/textools.rb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/context/ruby/textools.rb b/Master/texmf-dist/scripts/context/ruby/textools.rb index b6300215e78..442dc19240e 100644 --- a/Master/texmf-dist/scripts/context/ruby/textools.rb +++ b/Master/texmf-dist/scripts/context/ruby/textools.rb @@ -713,7 +713,7 @@ class Commands f << "\n" f << "/#{encoding.gsub(/[^a-zA-Z]/,'')}encoding [\n" 256.times do |i| - f << " /#{chars[i] || '.notdef'}\n" + f << " /#{chars[i] || '.notdef'} % #{i}\n" end f << "] def\n" f.close @@ -974,6 +974,8 @@ class Commands donepaths.keys.sort.each do |d| pathfiles = Dir.glob("#{path}/#{d}/**/*") pathfiles.each do |p| +# puts(File.dirname(p)) +# if donepaths[File.dirname(p)] then r = File.join(root,d,File.basename(p)) if FileTest.file?(p) and not FileTest.file?(r) and not copiedfiles.key?(File.expand_path(p)) then if delete then @@ -988,6 +990,7 @@ class Commands end end end +# end end end |