From dc2b81074350d0e0187108cc243c95f27fb5cbe6 Mon Sep 17 00:00:00 2001 From: Hendrik Kleinwaechter Date: Mon, 10 Jul 2023 18:20:55 +0200 Subject: [PATCH] Add biber version to version output --- book/makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/book/makefile b/book/makefile index 7b5d702..aca79e4 100644 --- a/book/makefile +++ b/book/makefile @@ -250,6 +250,8 @@ show_tools_version: # Show version of tools used on the build machine @echo "" - make --version @echo "" + - biber -version + @echo "" # You can find the value of variable X with the following command: # make print-X