$title
+ +$date
EOF } html_page_creation_notice() { cat <This page is automatically generated.
Please contact @@ -57,9 +89,9 @@ realmakepage() { cat <
for distribution(s): $descr
-You might also want to check out UDD instead of this page.
+You might also want to check out UDD instead of this page.
@@ -104,7 +136,7 @@ makemainpage() {
cat <
EOF
./bugreport -Hs
@@ -112,7 +144,7 @@ EOF
cat < Other graphs: