typo in wiki export list

682cdcb0 · James Bergstra · f745e303 · 682cdcb0
--- a/wiki.idx
+++ b/wiki.idx
@@ -5,4 +5,4 @@ wiki.UserBasic	UserBasic
 wiki.UserAdvanced	UserAdvanced
 wiki.TerminologyGlossary	TerminologyGlossary
 wiki.glossary	TerminologyGlossary
-wiki.HowtoIndex	HowtoIndex
+wiki.IndexHowto	IndexHowto