From 8656a6efd037183b9652e592417b9e8e2761166b Mon Sep 17 00:00:00 2001
From: Simon Law
Date: Sat, 17 May 2003 01:40:27 +0000
Subject: [PATCH] - Mention the DocBook sources.
---
docs/execmanual.xml | 3 ++-
docs/index.xml | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/docs/execmanual.xml b/docs/execmanual.xml
index 95f1219..0a96cff 100755
--- a/docs/execmanual.xml
+++ b/docs/execmanual.xml
@@ -13,7 +13,8 @@
manual is a good contribution to the club, please bug the exec to put more work
into it.
The executive manual is written using DocBook and is available
- in HTML format.
+ in HTML format. The
+ DocBook source is also on-line.
diff --git a/docs/index.xml b/docs/index.xml
index e2ce9d9..1f25908 100755
--- a/docs/index.xml
+++ b/docs/index.xml
@@ -12,8 +12,9 @@
-
\ No newline at end of file
+