--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ExtensionCorba/Documentation/source/index.html	Wed Nov 30 17:56:36 2022 +0100
@@ -0,0 +1,20 @@
+<!DOCTYPE html>
+<html><head>
+<title>Table of contents</title>
+<meta charset="UTF-8">
+<link rel="stylesheet" href="styles.css">
+</head>
+<body>
+<h1>Table of contents</h1>
+
+
+<h3>Packages</h3>
+<table>
+
+<tr>
+<td><a href="index-Plugin_Extension_Corba.html">Plugin_Extension_Corba</a></td>
+<td>Package implementing the CORBA support extension module.</td>
+</tr>
+</table>
+
+</body></html>
\ No newline at end of file