code: def build_finished(app, exception):
      
      # Skip for non-html or if javascript is not inlined
      if not app.env.config.wavedrom_html_jsinline:
          return
  
      if app.config.offline_skin_js_path is not None:
          copy_static_entry(path.join(app.builder.srcdir, app.config.offline_skin_js_path), path.join(app.builder.outdir, '_static'), app.builder)
      if app.config.offline_wavedrom_js_path is not None:
          copy_static_entry(path.join(app.builder.srcdir, app.config.offline_wavedrom_js_path), path.join(app.builder.outdir, '_static'), app.builder)
docs: When the build is finished, we copy the javascript files (if specified)
      to the build directory (the static folder)