about summary refs log tree commit diff
path: root/doc/manual/introduction.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-20T11·49+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-20T11·49+0000
commit8baf50f10821e6def3006af8ff8b8739c66b028a (patch)
treefa9683bcfd10dfb58c03174e341f20d12de62553 /doc/manual/introduction.xml
parent699989b2168bed80cc1383e5bf3c8326d55a3cc1 (diff)
* Manual updates.
* Updated the README.  Now it just refers to the manual.

Diffstat (limited to 'doc/manual/introduction.xml')
-rw-r--r--doc/manual/introduction.xml8
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml
index b41cad0a80fc..02a4383361ca 100644
--- a/doc/manual/introduction.xml
+++ b/doc/manual/introduction.xml
@@ -91,11 +91,3 @@
   </para>
 
 </chapter>
-
-
-
-<!--
-local variables:
-sgml-parent-document: ("book.xml" "chapter")
-end:
--->