--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ExtensionIrc/Documentation/Source/index.html	Sun Apr 20 11:08:39 2025 +0200
@@ -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_Irc.html">Plugin_Extension_Irc</a></td>
+<td>Package implementing the IRC plug-in.</td>
+</tr>
+</table>
+
+</body></html>