Added pnacl manifest.

[nit.git] / src / nitlight.nit
diff --git a/src/nitlight.nit b/src/nitlight.nit

index 5f22329..0b073d9 100644 (file)
--- a/src/nitlight.nit
+++ b/src/nitlight.nit
@@ -27,11 +27,11 @@ var opt_full = new OptionBool("Process also imported modules", "--full")
  var opt_ast = new OptionBool("Generate specific HTML elements for each Node of the AST", "--ast")
  toolcontext.option_context.add_option(opt_fragment, opt_first_line, opt_last_line, opt_dir, opt_full)
  toolcontext.tooldescription = "Usage: nitlight [OPTION]... <file.nit>...\nGenerates HTML of highlited code from Nit source files."
+toolcontext.process_options(args)
  
  var model = new Model
  var modelbuilder = new ModelBuilder(model, toolcontext)
  
-toolcontext.process_options(args)
  var args = toolcontext.option_context.rest
  
  var mmodules = modelbuilder.parse(args)
@@ -56,10 +56,12 @@ for mm in mmodules do
         if opt_last_line.value != 0 then v.last_line = opt_last_line.value
         if opt_ast.value then v.with_ast = true
         var page = null
+       var m = modelbuilder.mmodule2nmodule[mm]
         if not opt_fragment.value then
                 page = new HTMLTag("html")
                 page.add_raw_html """<head>
-               <meta charset="utf-8">"""
+               <meta charset="utf-8">
+               <title>file {{{m.location.file.filename}}}</title>"""
                 if dir == null then
                         page.add_raw_html """
                         <style type="text/css">
@@ -69,13 +71,15 @@ for mm in mmodules do
                 else
                         page.add_raw_html """<link rel="stylesheet" type="text/css" href="style.css" />"""
                 end
-               page.add_raw_html "</head><body><pre>"
+               page.add_raw_html v.head_content
+               page.add_raw_html "</head><body><pre class='nit_code'>"
         end
-       var m = modelbuilder.mmodule2nmodule[mm]
         v.enter_visit(m)
         if not opt_fragment.value then
                 page.add(v.html)
-               page.add_raw_html "</pre></body>"
+               page.add_raw_html "</pre>"
+               page.add_raw_html v.foot_content
+               page.add_raw_html "</body>"
         else
                 page = v.html
         end