scripts/harvest_aux_files.rb

   1 #!/usr/bin/ruby
   2
   3 # The purpose of this script is to save the information in the aux files so we don't have
   4 # to run pdftex three times every time we want to make html output. It collects all the
   5 # aux files, parses them, and saves them in save.ref .
   6 # I also use this in eruby_util.rb for a workaround for a bug in latex that sometimes
   7 # makes it impossible to use a pageref ("Missing \endcsname inserted").
   8
   9 files = Dir["*/*.aux"]
  10 files = files.concat(Dir["*.aux"])
  11
  12 if files.empty? then
  13   $stderr.print "Error, no aux files found\n"
  14   exit(-1)
  15 end
  16
  17 verbose = false
  18
  19 File.open('save.ref','w') do |g|
  20   $stderr.print "Harvesting " if verbose
  21   files.each {|aux|
  22     if aux =~ /ch(\d+)/ then
  23       ch = $1
  24       pos = "ch#{ch}.pos"
  25       if ch.to_i>0 && ch.to_i<99 && !FileTest.exist?(pos) then
  26         $stderr.print "Error in harvest_aux_files.rb, file #{aux} has no corresponding file #{pos}; probably this is because ch#{ch} needs an <% end_chapter %> at the end\n"
  27         exit(-1)
  28       end
  29     end
  30     File.open(aux,'r') do |f|
  31       t = f.gets(nil) # nil means read whole file
  32       $stderr.print "#{aux} " if verbose
  33
  34       # lines look like this:  \newlabel{fig:comet-goofy-orbit}{{a}{14}}
  35
  36       t.scan(/\\newlabel{([^}]+)}{{([^}]*)}{([^}]+)}}/) { |label,number,page|
  37         #$stderr.print "label=#{label}, #{number}, p. #{page}\n"
  38         g.print "#{label},#{number},#{page}\n"
  39       }
  40     end
  41   }
  42   $stderr.print "\n" if verbose
  43 end