diff --git a/doc/index.html b/doc/index.html
new file mode 100644
index 0000000..56332a3
--- /dev/null
+++ b/doc/index.html
@@ -0,0 +1,20 @@
+<html>
+<head>
+<title>LLADD Home Page</title>
+</head>
+<body>
+
+<p>LLADD is the working name of a project to provide AIRES-style
+functionality in a modular way.</p>
+
+<p>Documentation</p>
+<ul>
+   <li><a href="api/html/index.html">User Guide (API)</a></li>
+   <li><a href="developers/html/index.html">Documentation of LLADD's internals</a></li>
+</ul>
+
+<hr>
+<small><i>$Id$</i></small>
+</body>
+</html>
+
