Update template.py

Co-authored-by: Gerwin Klein <[email protected]> Signed-off-by: bbrcknl <[email protected]>
seL4 · Aug 1, 2024 · d04cc82 · d04cc82
1 parent caa47e9
commit d04cc82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/template.py b/template.py
@@ -80,7 +80,7 @@ def render_file(args, env, state, file):
 
         # process template file
         input = in_stream.read()
-        template = env.from_string(input())
+        template = env.from_string(input)
 
         if(args.__getattribute__("docsite")):
             s = StringIO(input)