From e1777fa93c53e967e6b3587202759dd4c7a9aafd Mon Sep 17 00:00:00 2001
From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Mon, 25 Jul 2022 22:14:52 +0000
Subject: [PATCH] Docs now compiling

---
 distrib/share/etc/AVT_Linux.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distrib/share/etc/AVT_Linux.mk b/distrib/share/etc/AVT_Linux.mk
index 14d2efa..94e27f8 100644
--- a/distrib/share/etc/AVT_Linux.mk
+++ b/distrib/share/etc/AVT_Linux.mk
@@ -34,7 +34,7 @@ else
       else
         JAVA_HOME = /usr/lib/jvm/default-java
         JAVA      = $(JAVA_HOME)/bin/java
-        SAXON     = $(JAVA) -jar /usr/share/java/saxon.jar
+	SAXON     = saxonb-xslt -ext:on
       endif
     endif
   endif
-- 
2.30.2