1 files changed, 13 insertions, 0 deletions
diff --git a/doc/main.html b/doc/main.html
new file mode 100644
index 0000000000..1b5898298c
--- /dev/null
+++ b/doc/main.html
@@ -0,0 +1,13 @@
+<HTML>
+
+<HEAD>
+
+<TITLE>The Coq Proof Assistant Reference Manual</TITLE>
+
+</HEAD>
+
+<FRAMESET ROWS=90%,*><FRAME SRC="cover.html" NAME="UP">
+<FRAME SRC="main-0.html">
+</FRAMESET>
+
+</HTML>
+\ No newline at end of file