Fix archival path for imported documents

korrat

Jun 23, 2023, 4:43 PM

Q7PKR77JE6DCMH6VSZQL3QNFNYJZJDF4EHVAI62GZ2TL34TWO2HAC

Dependencies

• [2] R5K55SCB Move tagging of directives with source to framework runner
• [3] QNGOXZL4 Add a basic framework

Change contents

• replacement in framework/src/runner/archive.rs at line 51
  [2.2032]→[2.2032:2067](∅→∅)
  − path.set_file_name(file_name);
  [2.2032]

  [3.8367]
  + path.push(file_name);