Add dvisvgm version info

This commit is contained in:
Ced
2023-11-15 14:39:39 +00:00
parent 1e8db3a3c3
commit 0dd9c69c2c

View File

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