syncweb -loc, skip lines with just spaces

Author: aryx

frontend/Stat.ml

@@ -30,7 +30,9 @@ let stat_of_web (orig : Web.t) : t =
             (* TEX *)
             match s with
             | "" -> ()
+            | s when s =~ "^[ \t]*$" -> ()
             | s when s =~ "^%.*" -> ()
+            (* I keep \n (for notes) as legic LOE for now *)
             | s when s =~ "^\\\\[tl] " -> ()
             (* for now I consider Tex commands \xxx as legit explanations as
              * they can be section names for example which usually help to
@@ -47,6 +49,7 @@ let stat_of_web (orig : Web.t) : t =
         (* CODE *)
         (match s with
         | "" -> ()
+        | s when s =~ "^[ \t]*$" -> ()
         (* LATER? look if only space line? *)
         | _ -> 
               Logs.debug (fun m -> m "LOC: %s" s);

tests/loc/foo.nw

@@ -8,10 +8,15 @@
 \maketitle 
 \chapter{First chapter}
 
+This should count
+
 % this should not count
 \l neither this
 \t or this
 
+% also this next line has multiple spaces and tabs which again should not count
+	  
+
 \section{First section}
 
 This is some example
@@ -29,6 +34,7 @@ int main(int argc, char** argv)
 
 <<say hello>>=
 printf("Hello World!\n");
+   
 @
 
 <<includes>>=