From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Mon, 25 Jul 2022 15:13:52 +0000 (+0100)
Subject: tasyagle-install: Add jdk package, make docs
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=57b6699e59fe2b6eb070a7e190697758a370b5ba;p=dev-env-setup.git

tasyagle-install: Add jdk package, make docs
---

diff --git a/tasyagle-install b/tasyagle-install
index cbc9452..c818589 100755
--- a/tasyagle-install
+++ b/tasyagle-install
@@ -7,7 +7,8 @@ fi
 
 apt-get install -y quilt tcsh swig libedit-dev tcl8.6-dev \
 	libmotif-dev libxpa1 libxt-dev libxpm-dev \
-	default-jre-headless libncurses5 libedit-dev \
+	default-jre-headless default-jdk-headless \
+	libncurses5 libedit-dev \
 	libsaxon-java libsaxonb-java libservlet3.1-java fop\
 	# tex-live
 
@@ -25,3 +26,7 @@ chgrp -R $SUDO_USER .
 
 echo "Adding avt_env.sh to .bashrc"
 echo "source /usr/local/avt_env.sh" >> /home/$SUDO_USER/.bashrc
+
+# Compile the documentation
+cd tas-yagle/distrib/docxml2
+make