diff --git a/doc/boinc_dev.php b/doc/boinc_dev.php
index 8e38cfc200..b110b5fb85 100644
--- a/doc/boinc_dev.php
+++ b/doc/boinc_dev.php
@@ -66,6 +66,7 @@ Various implementation notes:
How to see what has changed
between two versions of an executable.
Account management systems
+ Spec info for RPMs
";
diff --git a/doc/docutil.php b/doc/docutil.php
index 3295a9cc17..f601776515 100644
--- a/doc/docutil.php
+++ b/doc/docutil.php
@@ -28,6 +28,18 @@ function page_head($title) {
";
}
+function copyright() {
+ echo "
+ Copyright © $y University of California
+ ";
+ return;
+ echo "
+
+
+
+ ";
+}
+
function page_tail() {
$y = date("Y ");
echo "
@@ -35,7 +47,9 @@ function page_tail() {
Return to BOINC main page
- Copyright © $y University of California
+ ";
+ copyright();
+ echo "