merged from devel branch.

removed:
  Scruf.java
  todo
added:
  Run.java
  TODO
  parsers/SymbolMap.java
modified:
  conversion/ConvertDirectory.java
  parsers/BackButton.java
  parsers/CodeBlocks.java
  parsers/WordDecoration.java
  styling/StyleChecker.java
  styling/style.css
pending merges:
  rsiddharth 2012-12-21 [bug-fix]: when the default style sheet is newer than the style sheet
    rsiddharth 2012-12-21 Scruf.java has been renamed to Run.java
    rsiddharth 2012-12-21 [method named changed]: The method named 'resolve()' in styling/StyleChecker.java is changed ...
    rsiddharth 2012-12-21 [bug-fix]: Each directory is checked if it contains the style.css, if
    rsiddharth 2012-12-21 added license text to parsers/SymbolMap.java.
    rsiddharth 2012-12-21 updated TODO
    rsiddharth 2012-12-20 [bug-fix]: From now on, all the special characters in the string
    rsiddharth 2012-12-20 SymbolMap class which was in CodeBlock.java is shifted to a dedicated
    rsiddharth 2012-12-20 [bug-fix]: Back Buttons were not put in webpages that were present in
    rsiddharth 2012-12-15 bunch of new todos; 'todo' renamed to 'TODO'.

1 files changed, 10 insertions, 6 deletions

diff --git a/styling/StyleChecker.java b/styling/StyleChecker.java
index 68d7b46..e70170a 100644
--- a/styling/StyleChecker.java
+++ b/styling/StyleChecker.java
@@ -23,18 +23,22 @@ package scruf.styling;
 
 import scruf.io.*;
 import java.io.*;
+
 public class StyleChecker {
     private File styleSheet;
     private File curDir;
     private String styleContent;
-
-    public void resolve(File curDir) {
+	// the default style sheet in scruf package.
+	private File scrufStyleSheet = new File("scruf/styling/style.css");
+    public void check(File curDir) {
 	this.curDir = curDir.getAbsoluteFile();
 	styleSheet = new File(curDir,"style.css");
-	// if style shee doesn't exists, copy default sheet
-	// to the directory.
-	if(!styleSheet.exists()) {
-	    styleContent = new ReadFile(new File("scruf/styling/style.css")).getContent();
+	// if style sheet doesn't exists or if the default style is newer
+	// than style sheet in the directory, copy default sheet to the
+	// directory.
+	if((!styleSheet.exists()) ||
+	   scrufStyleSheet.lastModified() > styleSheet.lastModified()) {
+	    styleContent = new ReadFile(scrufStyleSheet).getContent();
 	    new WriteFile(styleSheet,styleContent).write();	    
 	}
     }