From 827217f7d82afca44f31615c2ed3a99ac48496c2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Nov 2000 13:03:47 +0000
Subject: [PATCH] Repository fixing

---
 helm/interface/.cvsignore | 1 +
 helm/interface/cadet      | 4 +++-
 helm/interface/t1.config  | 3 +++
 3 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 helm/interface/t1.config

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
index 49c2d73aa..592a929b9 100644
--- a/helm/interface/.cvsignore
+++ b/helm/interface/.cvsignore
@@ -10,3 +10,4 @@ mmlinterface
 mmlinterface.opt
 reduction
 reduction.opt
+t1lib.log
diff --git a/helm/interface/cadet b/helm/interface/cadet
index 5a63f2d01..0c3768055 100755
--- a/helm/interface/cadet
+++ b/helm/interface/cadet
@@ -10,6 +10,8 @@ export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_2/xalan.jar:/home/cadet/sacerdot
 
 # Per (my)Coq 6.3.0
 #export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH
-export LD_LIBRARY_PATH=/usr/local/lib/gtkmathview:$LD_LIBRARY_PATH
+export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
 
 export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
+
+export T1LIB_CONFIG=./t1.config
diff --git a/helm/interface/t1.config b/helm/interface/t1.config
new file mode 100644
index 000000000..afb669e95
--- /dev/null
+++ b/helm/interface/t1.config
@@ -0,0 +1,3 @@
+ENCODING=.
+AFM=/usr/share/texmf/fonts/afm/
+TYPE1=/usr/share/texmf/fonts/type1/bluesky/cm/:/usr/X11R6/lib/X11/fonts/Type1/:.
-- 
2.39.2