upstream #1

Merged
jblu merged 1007 commits from upstream into main 2024-11-04 22:35:57 -06:00
Showing only changes of commit 74c2f16f81 - Show all commits

View File

@ -145,7 +145,7 @@ export default makeSource({
rehypeAutolinkHeadings, rehypeAutolinkHeadings,
rehypeKatex, rehypeKatex,
[rehypeCitation, { path: path.join(root, 'data') }], [rehypeCitation, { path: path.join(root, 'data') }],
[rehypePrismPlus, { defaultLanguage: 'js' }], [rehypePrismPlus, { defaultLanguage: 'js', ignoreMissing: true }],
rehypePresetMinify, rehypePresetMinify,
], ],
}, },