Fixes for building highlight.js.
authorDoug Torrance <dtorrance@debian.org>
Tue, 28 Jun 2022 21:13:20 +0000 (22:13 +0100)
committerDoug Torrance <dtorrance@debian.org>
Tue, 28 Jun 2022 21:13:20 +0000 (22:13 +0100)
commit952f6edfbaa29bf707629b878fe5f08e5e948ae3
tree2d03c2b034b95f9abfaf3501ca3bded0109dcab3
parentb9b5f40c578cb8ab9fb8cb7a0f363687ed062ee9
Fixes for building highlight.js.

Forwarded: not-needed
Last-Update: 2022-05-16

- Backport to highlight.js 9, which is the version still in Debian.

Gbp-Pq: Name highlightjs.patch
M2/Macaulay2/editors/highlightjs/index.js
M2/Macaulay2/editors/highlightjs/macaulay2.js.in