diff options
| -rw-r--r-- | modules/gnome_output.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/gnome_output.py b/modules/gnome_output.py index 6f0f6be..d406d16 100644 --- a/modules/gnome_output.py +++ b/modules/gnome_output.py @@ -54,11 +54,11 @@ class Output: lines.append('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">') lines.append("<html>") lines.append('<head>') - lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + ' Progress</title>') + lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + ' Progress</title>') lines.append('<link rel="stylesheet" type="text/css" href="default.css"></link>') lines.append('</head>') lines.append("<body>") - lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + " Progress</h2>") + lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + " Progress</h2>") lines.append("contact " + os.environ["USER"] + "@gentoo.org if anything is not correct<br>") lines.append("Generated UTC date: " + current_time + "<br>") |