diff options
| author | Hans Hagen <pragma@wxs.nl> | 2005-03-01 00:00:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2005-03-01 00:00:00 +0100 |
| commit | 06359b1a3e1790462275938b6ea69dee57d96477 (patch) | |
| tree | d53595c8a6a1368ea8498858ece148d6511aca08 /scripts | |
| parent | bd7c577c73799fe65a2e536529f088935354b045 (diff) | |
| download | context-06359b1a3e1790462275938b6ea69dee57d96477.tar.gz | |
stable 2005.03.01
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') |