help wantedtype/enhancement
Repository metrics
- Stars
- (990 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
This should be done after latexml rendering - could just pngcrush/optijpg all of the images in the output directory.
This should be done after latexml rendering - could just pngcrush/optijpg all of the images in the output directory.