export_file(
  name = 'highlightjs',
  src = 'highlight.min.js',
  visibility = ['PUBLIC'],
)