X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=2b8c1aad5d777292f03b5c124c6ff5f3d0ef35de;hb=d3db422b91ed145abd0eccb83e96c97d6431fac6;hp=df72de7996125b1cab3e4dd1e98db4ab655c3784;hpb=4814ef8392dd9197a6bef7d7bc82be4c2b8e7f5d;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.ml b/src/tree.ml
index df72de7..2b8c1aa 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -79,11 +79,13 @@ struct
   let do_text b t =
     if Buffer.length t > 0 then begin
       let s = Buffer.contents t in
-      begin
-	open_tag b "<$>";
-	text b s;
-	close_tag b "<$>";
-      end;
+      if (!Options.index_empty_texts) || not (is_whitespace s) then
+	begin
+	  open_tag b "<$>";
+	  Printf.eprintf "Inserting >>%s<<\n" s;
+	  text b s;
+	  close_tag b "<$>";
+	end;
       Buffer.clear t
     end