From d453e801ef7aa85bd0eacc95516078c6826f0ffe Mon Sep 17 00:00:00 2001
From: dchandler <dchandler>
Date: Sat, 1 Feb 2003 05:30:22 +0000
Subject: [PATCH] Windows directory separators (backslashes) have been replaced
 with java.io.File.separatorChar.  This means tibbibl puts its temporary files
 under Jskad/bin in my Linux sandbox.

---
 source/org/thdl/tib/bibl/TibConstants.java | 12 ++++++------
 source/org/thdl/tib/bibl/TibDoc.java       |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/source/org/thdl/tib/bibl/TibConstants.java b/source/org/thdl/tib/bibl/TibConstants.java
index 1333791..2b1be0a 100644
--- a/source/org/thdl/tib/bibl/TibConstants.java
+++ b/source/org/thdl/tib/bibl/TibConstants.java
@@ -33,12 +33,12 @@ public interface TibConstants
 
 	// File Constants
 	final String DEFAULT_DIRECTORY 	= System.getProperties().getProperty("user.dir");
-	final String BIN				= "\\bin\\";
-	final String DATA_DIRECTORY 	= "\\data\\";
-	final String OUT_DIRECTORY 		= "\\data\\";
-	final String BIN_LOGIN			= "\\bin\\logs\\";
-	final String DIA_DATA			= "\\bin\\dia.dat";
-	final String TEMP_DIR			= "\\bin\\temp\\";
+	final String BIN				= java.io.File.separatorChar + "bin" + java.io.File.separatorChar;
+	final String DATA_DIRECTORY 	= java.io.File.separatorChar + "data" + java.io.File.separatorChar;
+	final String OUT_DIRECTORY 		= java.io.File.separatorChar + "data" + java.io.File.separatorChar;
+	final String BIN_LOGIN			= java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "logs" + java.io.File.separatorChar;
+	final String DIA_DATA			= java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "dia.dat";
+	final String TEMP_DIR			= java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "temp" + java.io.File.separatorChar;
 	final String PREFS				= "ttprefs.ini";
 
 	final String PREFS_DELIM			= "=";
diff --git a/source/org/thdl/tib/bibl/TibDoc.java b/source/org/thdl/tib/bibl/TibDoc.java
index 83b7650..a65159f 100644
--- a/source/org/thdl/tib/bibl/TibDoc.java
+++ b/source/org/thdl/tib/bibl/TibDoc.java
@@ -861,7 +861,7 @@ System.out.println("TExt at title offset is: " + text);
 		super(rootElement);
 		setHead();
 		setFactories();
-		setDocType(new DocType(TIBL,"..\\bin\\xtibbibl2.dtd"));
+		setDocType(new DocType(TIBL,".." + java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "xtibbibl2.dtd"));
 		org.jdom.Attribute idAt = getRootElement().getAttribute(ID);
 		if(idAt != null && (idAt.getValue() == null || idAt.getValue().equals(""))) {
 			idAt.detach();