summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--BUGS1
-rw-r--r--PATCHES4
-rw-r--r--TODO1
3 files changed, 4 insertions, 2 deletions
diff --git a/BUGS b/BUGS
index 52ee6405..ceb0356d 100644
--- a/BUGS
+++ b/BUGS
@@ -1,3 +1,4 @@
+// This file is part of the Doyxgen Developer Manual
/** @page bugs Bug Reporting
Please report bugs by subscribing to the OpenOCD mailing list and
diff --git a/PATCHES b/PATCHES
index ed980b85..74fd6967 100644
--- a/PATCHES
+++ b/PATCHES
@@ -1,7 +1,7 @@
+// This file is part of the Doyxgen Developer Manual
/** @page patchguide Patch Guidelines
-Please mail patches to:
-
+Please mail patches to: @par
openocd-development@lists.berlios.de
Note that you can't send patches to that list unless
diff --git a/TODO b/TODO
index ea86fa81..d000d5a2 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,4 @@
+// This file is part of the Doyxgen Developer Manual
/** @page tasks Pending and Open Tasks
This page lists pending and open tasks being considered or worked upon