From 0dd9c69c2cfce61fec98ef21e2c28b3843a17821 Mon Sep 17 00:00:00 2001 From: Ced Date: Wed, 15 Nov 2023 14:39:39 +0000 Subject: [PATCH] Add dvisvgm version info --- book/makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/book/makefile b/book/makefile index fb9f4f8..b72d95f 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