From ff11fbb20ebf94a1907b35cc29fa8a49695b6d84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaakko=20J=C3=A4rvi?= <jarvi@cs.tamu.edu>
Date: Wed, 8 May 2002 15:56:14 +0000
Subject: [PATCH] ok

[SVN r13751]
---
 doc/detail/README | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/detail/README

diff --git a/doc/detail/README b/doc/detail/README
new file mode 100644
index 0000000..2b27707
--- /dev/null
+++ b/doc/detail/README
@@ -0,0 +1,7 @@
+- lambda_doc.xml is a DocBook xml file from which the lambda docs are
+generated
+- lambda_doc_chunks.xsl loads the stylesheets that generate a separate
+html-file for each section
+- lambda_doc.html loads stylesheets that generate one big html-file
+(you need to edit the paths in these files to make them work)
+