visual: handling noweb files

facebookarchive · Sep 24, 2010 · 7c916a1 · 7c916a1
1 parent 7ccd695
commit 7c916a1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/commons/file_type.ml b/commons/file_type.ml
@@ -135,8 +135,10 @@ let file_type_of_file2 file =
   | "ps" | "pdf" -> Doc e
   | "ppt" -> Doc e
 
-  | "tex" | "texi"
+  | "tex" | "texi" -> Text e
   | "txt" | "doc" -> Text e
+  | "nw" -> Text e
+
   | "rtf" -> Text e
 
   | "cmi" | "cmo" | "cmx" | "cma" | "cmxa" 

diff --git a/h_program-lang/archi_code_lexer.mll b/h_program-lang/archi_code_lexer.mll
@@ -45,6 +45,8 @@ rule category = parse
 
   (* pad specific, noweb *)
   | ".nw/" 
+      { Doc }
+
   | ".pdf/" 
   | ".rtf/"
       { Doc }