doc/index.html push to chap0.html

gap-packages · Oct 15, 2012 · d66634b · d66634b
1 parent ba66726
commit d66634b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -8,7 +8,7 @@ bin/*
 frbib.xml.bib
 autom4te.cache
 .DS_Store
-doc/chap*.txt
+doc/chap*
 doc/*.aux
 doc/*.pnr
 doc/*.tex
@@ -21,4 +21,6 @@ doc/*.ilg
 doc/*.ind
 doc/*.out
 doc/*.toc
+doc/manual.*
 myconfigure
+.version
diff --git a/doc/index.html b/doc/index.html
@@ -0,0 +1,2 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+<html><head><meta http-equiv="REFRESH" content="0;url=chap0.html"></head></html>