Merge pull request #280 from hendricius/dvisvgm

Add dvisvgm version info
This commit is contained in:
cedounet
2023-11-15 14:45:21 +00:00
committed by GitHub

View File

@@ -301,6 +301,8 @@ show_tools_version: # Show version of tools used on the build machine
@echo "" @echo ""
- tidy -version - tidy -version
@echo "" @echo ""
- dvisvgm --version
@echo ""
- lacheck --version - lacheck --version
@echo "" @echo ""
- chktex --version - chktex --version