Skip to content
  • Eugene M. Kim's avatar
    Create update.js upon build time · dedddbc0
    Eugene M. Kim authored
    The source is one of the two update_*.txt files.  Create
    unconditionally, because the $(update) value may change from time to
    time and there is no way to determine if it has changed.
    dedddbc0