From d0d22871126ca1b22d9c7739d1aff5ffb60471bf Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 30 May 2014 16:05:05 -0400 Subject: [PATCH] nitlight: add a title on the html document Signed-off-by: Jean Privat --- src/nitlight.nit | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/nitlight.nit b/src/nitlight.nit index 85b2c1a..821cc37 100644 --- a/src/nitlight.nit +++ b/src/nitlight.nit @@ -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 """ - """ + + file {{{m.location.file.filename}}}""" if dir == null then page.add_raw_html """