@@ -108,7 +108,7 @@ subversion tree.
|| V. Documentation ||
++==================++
-TexInfo documentation is available in doc/ . If LaTeX is available on the
+Texinfo documentation is available in doc/ . If LaTeX is available on the
machine, a pdf can be generated by running
$ make -C doc pdf
