diff --git a/book/makefile b/book/makefile index fb9f4f8e..b72d95f6 100644 --- a/book/makefile +++ b/book/makefile @@ -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