diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/ruby/texsync.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/context/ruby/texsync.rb b/scripts/context/ruby/texsync.rb index 457e13c05..37faf2b30 100644 --- a/scripts/context/ruby/texsync.rb +++ b/scripts/context/ruby/texsync.rb @@ -70,7 +70,7 @@ class Commands if option('make') then report("generating tex and metapost formats") report - formats.delete_if do |f| + @@formats.delete_if do |f| begin `kpsewhich cont-#{f}`.chomp.empty? rescue @@ -197,4 +197,4 @@ commandline.registeraction('version') commandline.expand -Commands.new(commandline,logger,banner).send(commandline.action || 'help')
\ No newline at end of file +Commands.new(commandline,logger,banner).send(commandline.action || 'help') |