Merge remote-tracking branch 'origin/dev'
All checks were successful
Build and Push Docker Image / build (push) Successful in 40s
All checks were successful
Build and Push Docker Image / build (push) Successful in 40s
This commit is contained in:
@@ -78,7 +78,7 @@ const replaceImages = (
|
|||||||
const doc = parser.parseFromString(html, 'text/html');
|
const doc = parser.parseFromString(html, 'text/html');
|
||||||
|
|
||||||
const latexImageNames = Array.from(
|
const latexImageNames = Array.from(
|
||||||
latex.matchAll(/\\includegraphics\{(.+?)\}/g),
|
latex.matchAll(/\\includegraphics(?:\[[^\]]*\])?\{(.+?)\}/g),
|
||||||
).map((match) => match[1]);
|
).map((match) => match[1]);
|
||||||
|
|
||||||
const imgs = doc.querySelectorAll<HTMLImageElement>('img.tex-graphics');
|
const imgs = doc.querySelectorAll<HTMLImageElement>('img.tex-graphics');
|
||||||
|
|||||||
Reference in New Issue
Block a user